diff options
| author | Maxim Ermilov <zaspire@rambler.ru> | 2014-09-27 17:43:54 +0300 |
|---|---|---|
| committer | Alberts Muktupāvels <alberts.muktupavels@gmail.com> | 2014-09-27 17:43:54 +0300 |
| commit | bbf76b6b413111b5af930b1fd5a74bab070d83bf (patch) | |
| tree | 78cc8bc4516421b2ab08f926659b7a570abfa32a /src/include | |
| parent | 542cc51dd6483a5eb3baa98b7ddcf7688cc14ac3 (diff) | |
| download | metacity-bbf76b6b413111b5af930b1fd5a74bab070d83bf.tar.gz | |
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 33430c18..4125371d 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, @@ -88,6 +89,7 @@ guint meta_prefs_get_mouse_button_resize (void); guint meta_prefs_get_mouse_button_menu (void); GDesktopFocusMode meta_prefs_get_focus_mode (void); GDesktopFocusNewWindows 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 */ |