Community
Participate
Working Groups
SDK 4.0 - I20100722-2038. The wider borders (especially those at the window border) reduce screen real-estate.
In general this was a conscious design decision. See the following for some background discussion: http://dev.eclipse.org/blogs/kevinmcguire/2009/06/05/every-pixel-is-sacred-not-any-more/. There might be some particular areas to improve on such as left/right window borders though. I believe these margins can actually be configured via CSS.
> In general this was a conscious design decision. See the following for some > background discussion: > http://dev.eclipse.org/blogs/kevinmcguire/2009/06/05/every-pixel-is-sacred-not-any-more/. Yes. Our story has been that the new default styling would add much more breathing room but we would maintain a way to get to "classic" spacing and hopefully make it easy to configure the default styling if space is the only issue. > > There might be some particular areas to improve on such as left/right window > borders though. I believe these margins can actually be configured via CSS. The css files are in org.eclipse.platform/css To change the margins you can tweak this (or delete it completely and you'll get 2 px around each edge by default) .MTrimmedWindow.topLevel { margin-top: 24px; margin-bottom: 2px; margin-left: 12px; margin-right: 12px; } One caveat is that you have to restart to get the new values. We had originally hoped to do better in terms of dynamic/user friendly customization of the various themes, but didn't get there for 4.0.
Retitling this bug. Two things to do here: 1) the gutters and margins in the default stylesheet are inconsistent. The intention in the original visual design was that they be consistent. This would actually result in larger gutters between tab stacks that match the larger margins on the outside. 2) Given that this bug was opened because the outside margins were considered too large, we need to ensure that all of the gutters and margins are styleable.
Created attachment 176739 [details] specs for gutters and margins here is what is being proposed by Linda (14 px margins and gutters)
>2) Given that this bug was opened because the outside margins were considered >too large, we need to ensure that all of the gutters and margins are styleable. Please post in this bug where/what I have to change to make the margins smaller again. Good would be to keep the same values in one constant so that I only have to change it at one place.
(In reply to comment #5) > >2) Given that this bug was opened because the outside margins were considered > >too large, we need to ensure that all of the gutters and margins are styleable. > Please post in this bug where/what I have to change to make the margins smaller > again. Good would be to keep the same values in one constant so that I only > have to change it at one place. See the last part of comment 2 for what you have to do now to change the margins. This only affects outer margins. This bug tracks making all gutters stylable.
> The wider borders (especially those at the window border) reduce screen > real-estate. +1, I changed importance to "major".
This bug hasn't had any activity in quite some time. Maybe the problem got resolved, was a duplicate of something else, or became less pressing for some reason - or maybe it's still relevant but just hasn't been looked at yet. If you have further information on the current state of the bug, please add it. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant. -- The automated Eclipse Genie.
This bug was marked as stalebug a while ago. Marking as wontfix. If this report is still relevant for the current release, please reopen and remove the stalebug whiteboard tag.
