Community
Participate
Working Groups
Build Identifier: M20100211-1343 I cannot manually change the margin between the line number / folding mark column and the editor's content. By default the content begins immediately after the column(s) named above. Would be great when support for this will be added. Reproducible: Always
Note that you get a 2px margin in 3.6, see bug 137727.
(In reply to comment #1) > Note that you get a 2px margin in 3.6, see bug 137727. Okay, good to know. Although I think it would be useful when the user could change that margin manually. It would be enough when a configuration parameter would exist which could be added into the Eclipse config file, so that the preference panels won't be overloaded.
*** Bug 383703 has been marked as a duplicate of this bug. ***