diff options
| author | Victor Kareh <[email protected]> | 2019-05-21 13:15:48 -0400 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2019-06-16 18:12:44 +0200 |
| commit | 860f7a6dbc81272c561a1b8d045e5ff61ea0e66a (patch) | |
| tree | b81ee0c5ff3402451009294690e204d0d242e794 /src/ui/ui.c | |
| parent | cfd49bdf68ef48fcd53a084c74626372fc169688 (diff) | |
| download | marco-860f7a6dbc81272c561a1b8d045e5ff61ea0e66a.tar.bz2 marco-860f7a6dbc81272c561a1b8d045e5ff61ea0e66a.tar.xz | |
MetaFrameBorders: Add meta_frame_borders_clear
Just a quick little commit to help clean things up for when we add invisible
borders. Additionally, do a little housekeeping in preview-widget as well.
https://bugzilla.gnome.org/show_bug.cgi?id=644930
NOTE: Patch copied from metacity and adapted for marco.
upstream commit:
https://gitlab.gnome.org/GNOME/metacity/commit/7d519b3f
Diffstat (limited to 'src/ui/ui.c')
| -rw-r--r-- | src/ui/ui.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/ui/ui.c b/src/ui/ui.c index fdb9733a..a03747f2 100644 --- a/src/ui/ui.c +++ b/src/ui/ui.c @@ -682,10 +682,7 @@ meta_ui_theme_get_frame_borders (MetaUI *ui, } else { - borders->visible.top = 0; - borders->visible.bottom = 0; - borders->visible.left = 0; - borders->visible.right = 0; + meta_frame_borders_clear (borders); } if (style != NULL) |