On 25/02/2012, at 19.26, Martin Batholdy wrote: > is it possible to increase the tabsize beyond 32? It can be done by manually editing the preferences file (possibly with the defaults shell command) but not via the UI.