Summary: | [navigation] Quick Outline: show effective members only | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Carsten Reckord <reckord> |
Component: | Text | Assignee: | JDT-Text-Inbox <jdt-text-inbox> |
Status: | ASSIGNED --- | QA Contact: | |
Severity: | enhancement | ||
Priority: | P3 | CC: | daniel_megert, stephan.herrmann |
Version: | 4.5.1 | ||
Target Milestone: | --- | ||
Hardware: | All | ||
OS: | All | ||
Whiteboard: |
Description
Carsten Reckord
2016-02-25 12:15:23 EST
I fully agree. Anyone interested in different versions of "iterator()" should simply navigate to the "effective" version and then use Ctrl+T. One *might* think of cycling through 3 modes instead of 2 by consecutive presses of Ctrl+O, but IMHO that's overkill. At most a workspace preference should toggle between "all inherited" and "effective", unless we agree that "effective" is actually a good replacement and "all inherited" can be dropped entirely. Am I missing a motivation behind the current design? I agree. Three modes seems overkill and I'd much prefer to have the "all inherited" mode replaced. The easiest is to contribute a filter that filters the non-effective members. |