Community
Participate
Working Groups
3.3 M6 Both JDT source editors and the PDE plugin.xml editors have notions of folding. Each has its own preference. This surprised me; I assumed there'd be one single concept of folding which editors support or don't. I find it unlikely that someone would want folding in one case (say JDT) and not the other (say PDE). Rather, you generally find it useful, or you don't. Its slightly annoying that you have to go to two places to disable, and if I had more plugins with editors that supported, I'd have more preferences to toggle. We ought to have a single notion of folding which is a general editor preference. However, I'm not sure how to handle the case where there does not exist an editor in a given install which supports it. In this case we'd like to detect that and not show the preference, I suppose.
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.
