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.
This commit is contained in:
Dana Jansens 2013-08-11 16:37:14 -04:00
parent aa1fe695a5
commit db212a4f01

View file

@ -387,11 +387,10 @@ void frame_adjust_area(ObFrame *self, gboolean moved,
if (self->decorations & OB_FRAME_DECOR_TITLEBAR) if (self->decorations & OB_FRAME_DECOR_TITLEBAR)
self->size.top += ob_rr_theme->title_height + self->bwidth; self->size.top += ob_rr_theme->title_height + self->bwidth;
else if (self->max_horz && self->max_vert) { 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 top of the window to let the user still undecorate/unmaximize the
window via the client menu. */ window via the client menu. */
/* XXX This size should probably be a theme option. */ self->size.top += self->bwidth;
self->size.top += 1;
} }
if (self->decorations & OB_FRAME_DECOR_HANDLE && if (self->decorations & OB_FRAME_DECOR_HANDLE &&