@@ -43,33 +43,25 @@ public class Gala.WorkspaceManager : Object {
4343 // There are some empty workspace at startup
4444 cleanup ();
4545
46- if (Meta . Prefs . get_dynamic_workspaces ()) {
47- manager. override_workspace_layout (Meta . DisplayCorner . TOPLEFT , false , 1 , - 1 );
48- }
46+ manager. override_workspace_layout (Meta . DisplayCorner . TOPLEFT , false , 1 , - 1 );
4947
5048 for (var i = 0 ; i < manager. get_n_workspaces (); i++ ) {
5149 workspace_added (manager, i);
5250 }
5351
54- Meta . Prefs . add_listener (prefs_listener);
55-
5652 manager. workspace_switched. connect_after (workspace_switched);
5753 manager. workspace_added. connect (workspace_added);
5854 manager. workspace_removed. connect_after (workspace_removed);
5955 display. window_entered_monitor. connect (window_entered_monitor);
6056 display. window_left_monitor. connect (window_left_monitor);
6157
6258 // make sure the last workspace has no windows on it
63- if (Meta . Prefs . get_dynamic_workspaces ()
64- && Utils . get_n_windows (manager. get_workspace_by_index (manager. get_n_workspaces () - 1 )) > 0
65- ) {
59+ if (Utils . get_n_windows (manager. get_workspace_by_index (manager. get_n_workspaces () - 1 )) > 0 ) {
6660 append_workspace ();
6761 }
6862 }
6963
7064 ~WorkspaceManager () {
71- Meta . Prefs . remove_listener (prefs_listener);
72-
7365 unowned Meta . Display display = wm. get_display ();
7466 unowned Meta . WorkspaceManager manager = display. get_workspace_manager ();
7567 manager. workspace_added. disconnect (workspace_added);
@@ -106,10 +98,6 @@ public class Gala.WorkspaceManager : Object {
10698 }
10799
108100 private void workspace_switched (Meta .WorkspaceManager manager , int from , int to , Meta .MotionDirection direction ) {
109- if (! Meta . Prefs . get_dynamic_workspaces ()) {
110- return ;
111- }
112-
113101 // remove empty workspaces after we switched away from them unless it's the last one
114102 var prev_workspace = manager. get_workspace_by_index (from);
115103 if (Utils . get_n_windows (prev_workspace) < 1
@@ -131,7 +119,7 @@ public class Gala.WorkspaceManager : Object {
131119 }
132120
133121 private bool window_added (Meta .Workspace ? workspace , Meta .Window window ) {
134- if (workspace == null || ! Meta . Prefs . get_dynamic_workspaces () || window. on_all_workspaces) {
122+ if (workspace == null || window. on_all_workspaces) {
135123 return Source . REMOVE ;
136124 }
137125
@@ -150,7 +138,7 @@ public class Gala.WorkspaceManager : Object {
150138 }
151139
152140 private void window_removed (Meta .Workspace ? workspace , Meta .Window window ) {
153- if (workspace == null || ! Meta . Prefs . get_dynamic_workspaces () || window. on_all_workspaces) {
141+ if (workspace == null || window. on_all_workspaces) {
154142 return ;
155143 }
156144
@@ -192,28 +180,17 @@ public class Gala.WorkspaceManager : Object {
192180 }
193181
194182 private void window_entered_monitor (Meta .Display display , int monitor , Meta .Window window ) {
195- if (InternalUtils . workspaces_only_on_primary () && monitor == display. get_primary_monitor ()) {
183+ if (Meta . Prefs . get_workspaces_only_on_primary () && monitor == display. get_primary_monitor ()) {
196184 queue_window_added (window. get_workspace (), window);
197185 }
198186 }
199187
200188 private void window_left_monitor (Meta .Display display , int monitor , Meta .Window window ) {
201- if (InternalUtils . workspaces_only_on_primary () && monitor == display. get_primary_monitor ()) {
189+ if (Meta . Prefs . get_workspaces_only_on_primary () && monitor == display. get_primary_monitor ()) {
202190 window_removed (window. get_workspace (), window);
203191 }
204192 }
205193
206- private void prefs_listener (Meta .Preference pref ) {
207- unowned Meta . WorkspaceManager manager = wm. get_display (). get_workspace_manager ();
208-
209- if (pref == Meta . Preference . DYNAMIC_WORKSPACES && Meta . Prefs . get_dynamic_workspaces ()) {
210- // if the last workspace has a window, we need to append a new workspace
211- if (Utils . get_n_windows (manager. get_workspace_by_index (manager. get_n_workspaces () - 1 )) > 0 ) {
212- append_workspace ();
213- }
214- }
215- }
216-
217194 private void append_workspace () {
218195 unowned Meta . Display display = wm. get_display ();
219196 unowned Meta . WorkspaceManager manager = display. get_workspace_manager ();
@@ -293,10 +270,6 @@ public class Gala.WorkspaceManager : Object {
293270 * cleanup after an operation that required stable workspace/window indices
294271 */
295272 private void cleanup () {
296- if (! Meta . Prefs . get_dynamic_workspaces ()) {
297- return ;
298- }
299-
300273 unowned Meta . WorkspaceManager manager = wm. get_display (). get_workspace_manager ();
301274
302275 foreach (var workspace in manager. get_workspaces ()) {
0 commit comments