[kdevplatform/noAreaTabs] shell: Use QToolButton instea do QPushButton.

[Milian Wolff]

On Monday 26 August 2013 00:36:34 Aleix Pol wrote:
> Well... I actually tested it and didn't. I don't really mind but you could
> have said that on the review...

Sorry, I didn't assume you tested it with QToolButton and thought it's simpler 
if I try it out myself and see whether it looks better or not.

Why did you prefer the QPushButton variant? Personally, I prefer the 
QToolButton as it is not as cramped as the QPushButton variant, the margins 
look better.

Should I show before/after screenshots?

Cheers
-- 
Milian Wolff
mail at milianw.de
http://milianw.de