Summary: | [rulers] Allow to set margin between editor content and line number / folding mark column | ||
---|---|---|---|
Product: | [Eclipse Project] Platform | Reporter: | zifypofydydidobo |
Component: | Text | Assignee: | Platform-Text-Inbox <platform-text-inbox> |
Status: | ASSIGNED --- | QA Contact: | |
Severity: | enhancement | ||
Priority: | P3 | CC: | daniel_megert, markus.kell.r, rj7300 |
Version: | 3.5 | ||
Target Milestone: | --- | ||
Hardware: | All | ||
OS: | All | ||
Whiteboard: |
Description
zifypofydydidobo
2010-04-05 12:36:01 EDT
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. *** |