diff options
| author | Maxim Ermilov <[email protected]> | 2014-09-27 17:43:54 +0300 |
|---|---|---|
| committer | Victor Kareh <[email protected]> | 2018-08-28 09:38:37 -0400 |
| commit | 37fecf49392eb10ada1f4bf481d6ad6be56891dd (patch) | |
| tree | 77e7190c06f6590a11ff305ce4066daba9825851 /src/include | |
| parent | 4f47c5be61320102120fcae6c8c04f63c5b4f5b5 (diff) | |
| download | marco-37fecf49392eb10ada1f4bf481d6ad6be56891dd.tar.bz2 marco-37fecf49392eb10ada1f4bf481d6ad6be56891dd.tar.xz | |
Optionally attach modal dialogs
Add a preference /apps/mutter/general/attach_modal_dialogs. When
true, instead of having independent titlebars, modal dialogs appear
attached to the titlebar of the parent window and are moved
together with the parent window.
https://bugzilla.gnome.org/show_bug.cgi?id=612726
NOTE: Patch copied from mutter and adapted for metacity.
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/prefs.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/include/prefs.h b/src/include/prefs.h index 29db2a10..34ab802e 100644 --- a/src/include/prefs.h +++ b/src/include/prefs.h @@ -34,6 +34,7 @@ typedef enum META_PREF_MOUSE_BUTTON_MODS, META_PREF_FOCUS_MODE, META_PREF_FOCUS_NEW_WINDOWS, + META_PREF_ATTACH_MODAL_DIALOGS, META_PREF_RAISE_ON_CLICK, META_PREF_ACTION_DOUBLE_CLICK_TITLEBAR, META_PREF_ACTION_MIDDLE_CLICK_TITLEBAR, @@ -87,6 +88,7 @@ guint meta_prefs_get_mouse_button_resize (void); guint meta_prefs_get_mouse_button_menu (void); MetaFocusMode meta_prefs_get_focus_mode (void); MetaFocusNewWindows meta_prefs_get_focus_new_windows (void); +gboolean meta_prefs_get_attach_modal_dialogs (void); gboolean meta_prefs_get_raise_on_click (void); const char* meta_prefs_get_theme (void); /* returns NULL if GTK default should be used */ |