diff options
| author | Victor Kareh <[email protected]> | 2019-05-21 13:42:41 -0400 |
|---|---|---|
| committer | Victor Kareh <[email protected]> | 2019-06-05 10:49:37 -0400 |
| commit | b59538af6e5c2858fc0d01ac1db42957c303ec48 (patch) | |
| tree | c4deb980a55181e37704314cb0ce1c8486cf74fc /src/ui/ui.c | |
| parent | b0a9363a46746a942841ce79766a0d0f96d51d45 (diff) | |
| download | marco-b59538af6e5c2858fc0d01ac1db42957c303ec48.tar.bz2 marco-b59538af6e5c2858fc0d01ac1db42957c303ec48.tar.xz | |
ui: Add meta_ui_update_frame_style()
This method allows forcing a style update of a particular frame
from the core, so that it can pick up style variants.
https://bugzilla.gnome.org/show_bug.cgi?id=645355
upstream commit:
https://gitlab.gnome.org/GNOME/metacity/commit/97554dc4
Diffstat (limited to 'src/ui/ui.c')
| -rw-r--r-- | src/ui/ui.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/ui/ui.c b/src/ui/ui.c index cc26451e..bd753210 100644 --- a/src/ui/ui.c +++ b/src/ui/ui.c @@ -427,6 +427,13 @@ meta_ui_unmap_frame (MetaUI *ui, } void +meta_ui_update_frame_style (MetaUI *ui, + Window xwindow) +{ + meta_frames_update_frame_style (ui->frames, xwindow); +} + +void meta_ui_repaint_frame (MetaUI *ui, Window xwindow) { |