Summary: | [preferences] Should have one single location for folding preferences | ||
---|---|---|---|
Product: | [Eclipse Project] Platform | Reporter: | Kevin McGuire <Kevin_McGuire> |
Component: | Text | Assignee: | Platform-Text-Inbox <platform-text-inbox> |
Status: | ASSIGNED --- | QA Contact: | |
Severity: | enhancement | ||
Priority: | P3 | CC: | baumanbr, thatnitind |
Version: | 3.3 | ||
Target Milestone: | --- | ||
Hardware: | PC | ||
OS: | All | ||
Whiteboard: |
Description
Kevin McGuire
2007-04-05 23:45:12 EDT
Oh, plus Ant has folding, that makes 3. We could add a 'Text Editors' preference that allows to enable and disable folding for all textual editors but you then still need to go to each editor preference to configure what elements to fold in said editor. JDT's folding even allows clients to plug-in their own folding provider which the user can choose via preferences. Putting all this on a centralized preference page would not make much sense but the on/off switch could be provided. The global preference would be good. Understand that each editor has their own folding rules which yes should be configured on their editor page. This bug hasn't had any activity in quite some time. Maybe the problem got resolved, was a duplicate of something else, or became less pressing for some reason - or maybe it's still relevant but just hasn't been looked at yet. If you have further information on the current state of the bug, please add it. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant. |