Eclipse Community Forums: Eclipse Platform » Unable to control editor tab size in 3.6

Home » Eclipse Projects » Eclipse Platform » Unable to control editor tab size in 3.6(org.eclipse.ui/EDITOR_MINIMUM_CHARACTERS property no respected in 3.6)

Show: Today's Messages :: Show Polls :: Message Navigator

Unable to control editor tab size in 3.6 [message #550279]

Thu, 29 July 2010 18:07

Ian Leslie

Messages: 137
Registered: July 2009

Senior Member

In the past (most recently 3.42 and 3.51) I set the editor minimum characters property to make sure that my editor tabs showed the full file name of the file I was editing.

In the plugin_customization.ini file for the org.eclipse.sdk plug-in I added this line:

# prevent tab namess from being truncated
org.eclipse.ui/EDITOR_MINIMUM_CHARACTERS=80

Now that I have moved to Eclipse 3.6 I edited my plugin_customization.ini file for the org.eclipse.sdk_3.6.0.v201006080911 plug-in. But nothing happened - it truncated my file names to the point I can not figure out what is what.

Not only that for some of my work I am using the classic install and for others I am trying out the new JS install. The new JS install does not have an sdk plug-in. Where do I set this property for that installation?

What happened to supporting this property? I cannot find any mention of changes to it or dropping support for it on the eclipse.org web site.

Any help or advice would be appreciated. Thanks,

Ian

Report message to a moderator

Re: Unable to control editor tab size in 3.6 [message #550433 is a reply to message #550279]

Fri, 30 July 2010 11:14

Paul Webster

Messages: 6859
Registered: July 2009
Location: Ottawa

Senior Member

The place to check is
org.eclipse.ui.presentations.WorkbenchPresentationFactory.cr eateEditorPresentation(Composite,
IStackPresentationSite)

If you put a breakpoint there you can see if the preference is being
set. It might be a bug in CTabFolder, there were some changes in 3.6.

For plugin_customization.ini, you don't have to edit the one provided,
you can provide on on the command line (or in the eclipse.ini):

http://help.eclipse.org/helios/index.jsp?topic=/org.eclipse. platform.doc.isv/reference/misc/runtime-options.html

You'll have to look in your plugins directory to find the "branding"
plugin for the product that your JS install launches.

PW

--
Paul Webster
http://wiki.eclipse.org/Platform_Command_Framework
http://wiki.eclipse.org/Command_Core_Expressions
http://wiki.eclipse.org/Menu_Contributions
http://wiki.eclipse.org/Menus_Extension_Mapping
http://help.eclipse.org/galileo/index.jsp?topic=/org.eclipse .platform.doc.isv/guide/workbench.htm

Paul Webster
http://wiki.eclipse.org/Platform_Command_Framework
http://wiki.eclipse.org/Command_Core_Expressions
http://wiki.eclipse.org/Menu_Contributions

Report message to a moderator

SOLVED Re: Unable to control editor tab size in 3.6 [message #550555 is a reply to message #550433]

Fri, 30 July 2010 19:04

Ian Leslie

Messages: 137
Registered: July 2009

Senior Member

Paul Webster wrote on Fri, 30 July 2010 07:14

For plugin_customization.ini, you don't have to edit the one provided,
you can provide on on the command line (or in the eclipse.ini):

http://help.eclipse.org/helios/index.jsp?topic=/org.eclipse. platform.doc.isv/reference/misc/runtime-options.html

Oh, I like that much better. I can create one file with just what I want to override and not have to edit installed files. I never liked editing installed files.

Quote:

You'll have to look in your plugins directory to find the "branding"
plugin for the product that your JS install launches.

And now there is no need because when I use the command line option -pluginCustomization it just works no matter what the branding plug-in is.

Thank you very much

Report message to a moderator

Previous Topic:	[eclipse plugin ] implement a class to handel a command
Next Topic:	Problems with "Synchronize with patch"

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Apr 26 09:53:12 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter