diff options
| author | Dana Jansens <danakj@orodu.net> | 2013-08-11 16:37:14 -0400 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2013-08-11 16:38:20 -0400 |
| commit | db212a4f0149d26dd8f29150a41363b92c14ca4f (patch) | |
| tree | 54797e0e1b743ebc42594a4519da67f1aed8529c /openbox | |
| parent | aa1fe695a5bf4625b2d2fc9a26d950e49a36f191 (diff) | |
Maximized undecored windows have incorrect top border. (Bug 5996)
If the window has no border since the theme has bwidth=0, or because the
window is truly undecorated via MWM hints, then we should not allocate space
for the frame of the window which will just be empty pixels.
Diffstat (limited to 'openbox')
| -rw-r--r-- | openbox/frame.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/openbox/frame.c b/openbox/frame.c index 24d3eb53..3dbcf126 100644 --- a/openbox/frame.c +++ b/openbox/frame.c @@ -387,11 +387,10 @@ void frame_adjust_area(ObFrame *self, gboolean moved, if (self->decorations & OB_FRAME_DECOR_TITLEBAR) self->size.top += ob_rr_theme->title_height + self->bwidth; else if (self->max_horz && self->max_vert) { - /* A maximized and undecorated window needs a small border on the + /* A maximized and undecorated window needs a border on the top of the window to let the user still undecorate/unmaximize the window via the client menu. */ - /* XXX This size should probably be a theme option. */ - self->size.top += 1; + self->size.top += self->bwidth; } if (self->decorations & OB_FRAME_DECOR_HANDLE && |