ui: Render frame in mask as well

The theme may render bits of the frame that are outside the rendered
area of the background, so don't skip it when painting the frame mask.

https://bugzilla.gnome.org/show_bug.cgi?id=744667
This commit is contained in:
Florian Müllner 2016-10-27 16:05:40 +02:00
parent aae007193f
commit 9149f56b51

View File

@ -1358,10 +1358,19 @@ meta_ui_frame_get_mask (MetaUIFrame *frame,
borders.invisible.left / scale, borders.invisible.left / scale,
borders.invisible.top / scale, borders.invisible.top / scale,
frame_rect.width / scale, frame_rect.height / scale); frame_rect.width / scale, frame_rect.height / scale);
gtk_render_frame (frame->style_info->styles[META_STYLE_ELEMENT_FRAME], cr,
borders.invisible.left / scale,
borders.invisible.top / scale,
frame_rect.width / scale, frame_rect.height / scale);
gtk_render_background (frame->style_info->styles[META_STYLE_ELEMENT_TITLEBAR], cr, gtk_render_background (frame->style_info->styles[META_STYLE_ELEMENT_TITLEBAR], cr,
borders.invisible.left / scale, borders.invisible.left / scale,
borders.invisible.top / scale, borders.invisible.top / scale,
frame_rect.width / scale, borders.total.top / scale); frame_rect.width / scale, borders.total.top / scale);
gtk_render_frame (frame->style_info->styles[META_STYLE_ELEMENT_TITLEBAR], cr,
borders.invisible.left / scale,
borders.invisible.top / scale,
frame_rect.width / scale, borders.total.top / scale);
} }
/* XXX -- this is disgusting. Find a better approach here. /* XXX -- this is disgusting. Find a better approach here.