Curvy tabs in Eclipse RCP App -

-

i using eclipse helios service release 1. new both ide , platform.

my question is, how same curvy tab on app of ide?

according this thread , blog post:

see "eclipse look&feel customization" more.

all see "java-tips":

curvy tabs on eclipse rcp

to change shape of title of view following line of code can written in prewindowopen() method of applicationworkbenchwindowadvisor.

platformui.getpreferencestore().setvalue(iworkbenchpreferenceconstants.show_traditional_style_tabs, false);

note there might issue long titles when there many tabs:
see bug 322623:
"editor tabs not show ellipsis long filenames when using new style tabs."


Comments

Post a Comment

Popular posts from this blog

javascript - Iterate over array and calculate average values of array-parts -

-
i have array this: ["2011-06-16 16:37:20",23.2], ["2011-06-21 16:37:20",35.6], ["2011-06-26 16:37:20",41.8], ["2011-07-01 16:37:20",25], ["2011-07-06 16:37:20",22.8], ["2011-07-11 16:37:20",36.4], ["2011-07-16 16:37:20",34], ["2011-07-21 16:37:20",20] [...] format: [$date,count] now need add 3rd 4th value every array element, average of n counts before or after. example if n=3 the 3rd value should average of 3 count-values before , 4th value should average of 3 count-values after current array element. result that: ["2011-06-16 16:37:20",23.2, null, 34.13], ["2011-06-21 16:37:20",35.6, null, 29.86], ["2011-06-26 16:37:20",41.8, null, 28.06], ["2011-07-01 16:37:20",25, 33.53, 31.06], ["2011-07-06 16:37:20",22.8, 34.13, 30.13], ["2011-07-11 16:37:20",36.4, 29.86, null], ["2011-07-16 16:37:20",34, 28.06, null], ["2...
Read more

ASP.NET Javascript: window.open won't work twice -

-
i have aspx page button. when user clicks button, following javascript opens new browser window (in case, 'reasons.aspx'). works great. here's function part: function showpanel(url) { var width = 750; var height = 600; var left = (screen.width - width) / 2; var top = (screen.height - height) / 2; var params = 'width=' + width + ', height=' + height; params += ', top=' + top + ', left=' + left; params += ', toolbar=no'; params += ', menubar=no'; params += ', resizable=yes'; params += ', directories=no'; params += ', scrollbars=no'; params += ', status=no'; params += ', location=no'; newwin = window.open(url + '?letternumber=1&reasontype=3', 'd', params); //<--- change (letternumber) when copying! if (window.focus) { newwin.focus() } return false; } now here's gets funky. when window pops up, there controls. 1 of button, triggers identical c...
Read more

jquery - Opera does not change the height of the page. Why? -

-
open http://188.232.30.182/ in opera one click left arrow (it possible , right, need 2 clicks) scrolling page bottom. why there blank space , how fix it? in other browsers, well probably issue opera. i checked firefox 5, ie 9 , google chrome 14. seems work out fine. try upgrading opera's version. check view/display options, manage size. probably addon interfering. so report bug , find out!
Read more