Community
Participate
Working Groups
It would be very useful to add a preference to change the background color of the Java editor, since all of the other elements are editable.
This seems to be a duplicate of bug 4117.
This specific defect is referring to a problem with the Java Editor. Once you have determined the requirements for the Java specific editor please let me know what support you need from the workbench.
This feature should apply to all editors, not just the Java editor.
fixed in 20020212-I. Note: There's no preference page for plain TextEditors yet.
Verified in build 20020214
*** Bug 9391 has been marked as a duplicate of this bug. ***
see bug 9944
there is still no preference for the generic text editor
Created attachment 5174 [details] jpg showing the new tab w/ preference setting
Created attachment 5175 [details] fix Implementation notes: @@ TextEditorPreferencePage2 @@ Copied relevant parts from JavaEditorPreferencePage. I did not read the contents sample from a file but rather made an entry in the properties. I left the tab's title "Syntax" -- a plain file has no "syntax" so this might be a misleading tab title; I did not change it for consistency w/ the JavaEditor.
this should be moved to platform ui
*** Bug 36904 has been marked as a duplicate of this bug. ***
fix provided...
*** Bug 72429 has been marked as a duplicate of this bug. ***
This has been fixed in I200412011139: there's now a shared/global editor background preference. It is currently under Workbench > Editors > All Text Editors but this can still change since preference rework is still ongoing.