Community
Participate
Working Groups
TextEditor should be able to handle using tabs characters or spaces when a user presses the tab key. The following preferences should be added: Checkbox: Insert tabs for indentation Text Field: Number of spaces representing an indentation level Reasoning: Lots of plugins extend Text Editor and have to build thier own handling in this case. As well if a plugin chooses to make this feature 'preferencable', they have to implement thier own preference page. If this feature request is accepted and implemented well, all subclasses of TextEditor can take or override the preferences in the TextEditors plugin. That way its more like the Fonts preference page. Change it in one place and the change can take effect everywhere. Geoff
tab size can now be configured
Is there a pointer to where I can look at the change? thx.
sure. use latest build. Preferences > Workbench > Editors > Text Editor: Displayed tab width
Displayed tab width is not enough, user should be able to set "convert tabs to spaces" too in default text editor. We never use tabs in any text file, it is very annoying not to be able to set such behaviour. Workaround is to use 3-rd party editor plugin for other files than Java and ant build scripts. Eclipse colorer is what we use ...
that's why this PR isn't closed yet ;-)
>Text Field: Number of spaces representing an indentation level This has been added for text editor a while ago and since I200411300800 it's now available as shared/global preference
*** Bug 49332 has been marked as a duplicate of this bug. ***
Remaining issue is covered in bug 82296. *** This bug has been marked as a duplicate of 82296 ***
