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 | |
| 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.
| -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 && |