diff options
| author | Victor Kareh <[email protected]> | 2025-07-30 06:45:30 -0400 |
|---|---|---|
| committer | Victor Kareh <[email protected]> | 2025-10-06 12:04:32 +0000 |
| commit | 158e2e64b7fe584ea8fe782e4608df25d6103fc3 (patch) | |
| tree | 6a0d865c9c36d9acc80d401fcaf9fb141f0b9a53 /src/include/prefs.h | |
| parent | ee2adf9fcbe03f2b7d0afd62cefe0b77784f618a (diff) | |
| download | marco-158e2e64b7fe584ea8fe782e4608df25d6103fc3.tar.bz2 marco-158e2e64b7fe584ea8fe782e4608df25d6103fc3.tar.xz | |
Adds GNOME3-style dynamic workspace management. Workspaces are created
when no empty ones exist and removed when multiple empty workspaces are
present, maintaining exactly one empty workspace at the end.
Fixes #406
Diffstat (limited to 'src/include/prefs.h')
| -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 e34f1b14..1bd7e258 100644 --- a/src/include/prefs.h +++ b/src/include/prefs.h @@ -46,6 +46,7 @@ typedef enum META_PREF_THEME, META_PREF_TITLEBAR_FONT, META_PREF_NUM_WORKSPACES, + META_PREF_DYNAMIC_WORKSPACES, META_PREF_WRAP_STYLE, META_PREF_APPLICATION_BASED, META_PREF_KEYBINDINGS, @@ -101,6 +102,7 @@ const char* meta_prefs_get_theme (void); /* returns NULL if GTK default should be used */ const PangoFontDescription* meta_prefs_get_titlebar_font (void); int meta_prefs_get_num_workspaces (void); +gboolean meta_prefs_get_dynamic_workspaces (void); gboolean meta_prefs_get_application_based (void); gboolean meta_prefs_get_disable_workarounds (void); gboolean meta_prefs_get_auto_raise (void); |