[news.eclipse.tools.gef] Re: thinner palette UI when docked

[Al Major <alnospammajor@xxxxxxxxxxxxxxxxxx>]

Randy Hudson wrote:
> 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 :-)
	didn't even know about it. if it's serving no useful purpose (overall 
visual appeal is a useful purpose up to a point) it should certainly be 
reclaimed.