| [news.eclipse.tools.gef] Re: thinner palette UI when docked |
BTW, if you really want some pixels back, you should complain to platform-UI about the 2-pixel margin around the inside of every workbench part :-) > i'd like to vote for a skinnier bar when the palette is tucked away on