@@ -52,9 +52,9 @@ namespace Gala {
5252 public Meta . BackgroundGroup background_group { get ; protected set ; }
5353
5454 /**
55- * { @inheritDoc }
55+ * View that allows to see and manage all your windows and desktops.
5656 */
57- public Gala . ActivatableComponent workspace_view { get ; protected set ; }
57+ public MultitaskingView multitasking_view { get ; protected set ; }
5858
5959 public PointerLocator pointer_locator { get ; private set ; }
6060
@@ -243,12 +243,8 @@ namespace Gala {
243243 plugin_manager. initialize (this );
244244 plugin_manager. regions_changed. connect (update_input_area);
245245
246- if (plugin_manager. workspace_view_provider == null
247- || (workspace_view = (plugin_manager. get_plugin (plugin_manager. workspace_view_provider) as ActivatableComponent )) == null
248- ) {
249- workspace_view = new MultitaskingView (this );
250- ui_group. add_child ((Clutter . Actor ) workspace_view);
251- }
246+ multitasking_view = new MultitaskingView (this );
247+ ui_group. add_child (multitasking_view);
252248
253249 if (plugin_manager. window_switcher_provider == null ) {
254250 window_switcher = new WindowSwitcher (this );
@@ -334,10 +330,10 @@ namespace Gala {
334330 });
335331
336332 Meta . KeyBinding . set_custom_handler (" show-desktop" , () = > {
337- if (workspace_view . is_opened ()) {
338- workspace_view . close ();
333+ if (multitasking_view . is_opened ()) {
334+ multitasking_view . close ();
339335 } else {
340- workspace_view . open ();
336+ multitasking_view . open ();
341337 }
342338 });
343339
@@ -565,7 +561,7 @@ namespace Gala {
565561 * {@inheritDoc }
566562 */
567563 public void switch_to_next_workspace (Meta .MotionDirection direction , uint32 timestamp ) {
568- (( MultitaskingView ) workspace_view) . switch_to_next_workspace (direction);
564+ multitasking_view . switch_to_next_workspace (direction);
569565 }
570566
571567 private void update_input_area () {
@@ -698,7 +694,7 @@ namespace Gala {
698694 return ;
699695 }
700696
701- (( MultitaskingView ) workspace_view) . move_window (window, workspace);
697+ multitasking_view . move_window (window, workspace);
702698 }
703699
704700 /**
@@ -820,14 +816,11 @@ namespace Gala {
820816 unowned var current = display. get_focus_window ();
821817
822818 switch (type) {
823- case ActionType . SHOW_WORKSPACE_VIEW:
824- if (workspace_view == null )
825- break ;
826-
827- if (workspace_view. is_opened ())
828- workspace_view. close ();
819+ case ActionType . SHOW_MULTITASKING_VIEW:
820+ if (multitasking_view. is_opened ())
821+ multitasking_view. close ();
829822 else
830- workspace_view . open ();
823+ multitasking_view . open ();
831824 break ;
832825 case ActionType . MAXIMIZE_CURRENT:
833826 if (current == null || current. window_type != Meta . WindowType . NORMAL || ! current. can_maximize ())
@@ -1743,7 +1736,7 @@ namespace Gala {
17431736 }
17441737
17451738 public override void kill_switch_workspace () {
1746- (( MultitaskingView ) workspace_view) . kill_switch_workspace ();
1739+ multitasking_view . kill_switch_workspace ();
17471740 }
17481741
17491742 public override void locate_pointer () {
0 commit comments