Make it easier to reach buttons on the edges
Review Request #101506 - Created June 4, 2011 and submitted
| Information | |
|---|---|
| Aurélien Gâteau | |
| kdevplatform | |
| Reviewers | |
| kdevelop | |
When KDevelop window is maximized, the buttons on the left and right edges of the window could be easier to reach. Right now there is a 2 pixel gap between the button and the border, which makes it impossible to reach the button by throwing the mouse to the edge. Attached simple patch just set the margin to 0. I am not sure however if it makes sense to keep the define if it is set to 0. If you prefer me to get rid of the define and replace its usage with plain 0, tell me.
See attached before/after screenshot.
Screenshots
The UI was completely changed, so this patch doesn't solve the problem. I've committed the proper fix in rev. b10df1c.
Just tried it, I think it's useful. I'd say go in. :) I'm unsure Alex understood what was going on (Aurélien had to tell me twice at least :P).
This review has been submitted with commit 5914f88aa71b73495e38ee60db1674290db5743f by Aurélien Gâteau to branch master.
