[Xfce-bugs] review granted: [Bug 8796] Top border of maximized windows doesn't look right : [Attachment 4374] [PATCH] Added top_border_size property in themerc file.

[bugzilla-daemon at xfce.org]

Alex AUVOLAT <alexis211 at gmail.com> 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 <alexis211 at gmail.com>
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.