https://bugzilla.gnome.org/show_bug.cgi?id=745303
--- Comment #2 from Matthias Clasen <[email protected]> ---
Created attachment 298145
--> https://bugzilla.gnome.org/attachment.cgi?id=298145&action=edit
a patch
I tried this patch, but it doesn't quite work with mutter - the window gets
maximized decorations (no rounded corners), but it doesn't have the right size.
Dragging a bit on the titlebar makes it jump to the right size, but things
clearly go somewhat wrong here.
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
wayland-bugs mailing list
[email protected]
http://lists.freedesktop.org/mailman/listinfo/wayland-bugs
