Community
Participate
Working Groups
In my ongoing quest to get more space on my editor tabs (see bug 25165) I'm now asking for a preference to hide file extensions. I have a patch to the 2.1 release which does both this and the icon hiding - probably in the wrong way, but it's a start, and it's easy enough to try out. (I'll attach the patch in a minute.) Possible future extended preference would allow you to only hide extensions (and icons, maybe!) for specified file types.
Created attachment 4445 [details] Set of new sources to be used with 2.1 release to implement extension
Created attachment 4446 [details] Binary version For those who wish to try this without compiling etc, put workbenchpatch.jar in your eclipse/plugins/org.eclipse.ui.workbench_2.1.0 directory, edit plugin.xml to have an extra library element *above* the normal one (but still inside the runtime element): <library name="workbenchpatch.jar"> <export name="*"/> <packages prefixes="org.eclipse.ui, org.eclipse.jface"/> </library> Then just restart Eclipse. Preferences are in Workbench/Editors.
Moving to Nick since he is looking into editor management issues for 3.0
Please try out the Feb 17 Integration build to see if it gives you enough space for tabs OR if the single tab with a drop down list supports your needs?
Clearly a single tab with dropdowns negates the space problem - but I don't find it as easy to work with. Using multiple tabs, the problem is worse than before because the active tab takes up more room due to the curved end. I would still like the ability to be able to hide file extensions and/or icons. (Of course, if Eclipse 3.0 doesn't give me this ability itself, I'm happy enough to create a patch again...) Jon
I agree. Allowing us to hide the file type extension (which is generally useless information) would free up precious real-estate in the tab area of the editors. This would actually make tabs better. Drop downs are not an improvement to tab functionality. Drop downs are a simply a way to avoid using tabs.
Stefan: I'm trying to gather all bugs related to tabs, and in particular editor tabs.
I've got a new patch for 3.1M5 now. Unfortunately I can no longer get Eclipse to load one jar file before another, so the patch modifies the original workbench.jar and ide.jar. It does seem to work though. Whether or not all the changes are in the right place is another matter.
Created attachment 18127 [details] Patch (complete .java files) I should have said before - the attachment isn't a set of patch files in the normal sense. I can generate those if need be, but for anyone who actually wants to *use* the files, this format is probably somewhat easier :)
Moving Dougs bugs
As per http://wiki.eclipse.org/Platform_UI/Bug_Triage_Change_2009
Remy is now responsible for watching the [EditorMgmt] component area.
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.