diff options
| author | Victor Kareh <[email protected]> | 2025-07-30 06:45:30 -0400 |
|---|---|---|
| committer | Victor Kareh <[email protected]> | 2025-08-07 15:10:56 -0400 |
| commit | b7c75594dc6f44e08e1927ff5024c91a4564b784 (patch) | |
| tree | 3ce585ed88525eb8afdfc6bf418e6c12d58ca5b7 /src/include/prefs.h | |
| parent | 87aa5feb8790168eb7b2bc890938353116d26594 (diff) | |
| download | marco-dynamic-workspaces.tar.bz2 marco-dynamic-workspaces.tar.xz | |
Add dynamic workspaces supportdynamic-workspaces
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 efb2242b..4c7dd606 100644 --- a/src/include/prefs.h +++ b/src/include/prefs.h @@ -44,6 +44,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, @@ -99,6 +100,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); |