Alex AUVOLAT <[email protected]> has granted review: Bug 8796: Top border of maximized windows doesn't look right https://bugzilla.xfce.org/show_bug.cgi?id=8796
Attachment 4374: [PATCH] Added top_border_size property in themerc file. https://bugzilla.xfce.org/attachment.cgi?id=4374&action=edit ------- Additional Comments from Alex AUVOLAT <[email protected]> If the top_border_size property is specified to N in the themerc file, the top N pixels of the top border will be hidden when the window is maximized and borderless maximize is enabled. _______________________________________________ Xfce-bugs mailing list [email protected] https://mail.xfce.org/mailman/listinfo/xfce-bugs
