Summary: | [EditorMgmt] tabs: Allow editor tabs to hide file extensions | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Product: | [Eclipse Project] Platform | Reporter: | Jon Skeet <skeet> | ||||||||
Component: | UI | Assignee: | Platform UI Triaged <platform-ui-triaged> | ||||||||
Status: | NEW --- | QA Contact: | |||||||||
Severity: | enhancement | ||||||||||
Priority: | P3 | ||||||||||
Version: | 2.1 | ||||||||||
Target Milestone: | --- | ||||||||||
Hardware: | All | ||||||||||
OS: | All | ||||||||||
Whiteboard: | |||||||||||
Attachments: |
|
Description
Jon Skeet
2003-04-03 04:01:33 EST
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 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. |