diff options
| author | Omar Zeidan <[email protected]> | 2017-12-31 16:03:36 +0100 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2018-01-02 09:24:38 +0100 |
| commit | 709fe3eb2f8987ffc598ecbece4997acdf51cdca (patch) | |
| tree | 8f3296e10c3ed60f91f3063c709b7ebcedc03696 /src/include | |
| parent | 9e2b7eff713b6881a60538e08e222dad0d364647 (diff) | |
| download | marco-709fe3eb2f8987ffc598ecbece4997acdf51cdca.tar.bz2 marco-709fe3eb2f8987ffc598ecbece4997acdf51cdca.tar.xz | |
Implemented a setting to disable top tiling
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/prefs.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/include/prefs.h b/src/include/prefs.h index 76ee8958..2baf24bd 100644 --- a/src/include/prefs.h +++ b/src/include/prefs.h @@ -64,7 +64,8 @@ typedef enum META_PREF_RESIZE_WITH_RIGHT_BUTTON, META_PREF_SHOW_TAB_BORDER, META_PREF_CENTER_NEW_WINDOWS, - META_PREF_SIDE_BY_SIDE_TILING, + META_PREF_ALLOW_TILING, + META_PREF_ALLOW_TOP_TILING, META_PREF_FORCE_FULLSCREEN, META_PREF_PLACEMENT_MODE, META_PREF_SHOW_DESKTOP_SKIP_LIST @@ -98,8 +99,9 @@ int meta_prefs_get_auto_raise_delay (void); MetaWrapStyle meta_prefs_get_wrap_style (void); gboolean meta_prefs_get_reduced_resources (void); gboolean meta_prefs_get_mate_accessibility (void); -gboolean meta_prefs_get_mate_animations (void); -gboolean meta_prefs_get_side_by_side_tiling (void); +gboolean meta_prefs_get_mate_animations (void); +gboolean meta_prefs_get_allow_tiling (void); +gboolean meta_prefs_get_allow_top_tiling (void); const char* meta_prefs_get_command (int i); |