mirror of
https://github.com/elementary/gala.git
synced 2024-08-17 19:10:41 +03:00
May completly fixed workspace duplication problem
This commit is contained in:
parent
a911b03e3d
commit
b35b50bc0d
@ -277,7 +277,7 @@ namespace Gala
|
||||
this.width = width;
|
||||
|
||||
/*get the workspaces together*/
|
||||
workspaces.foreach ( (c) => workspaces.remove_child (c) );
|
||||
workspaces.remove_all_children ();
|
||||
|
||||
for (var i=0;i<plugin.get_screen ().n_workspaces;i++) {
|
||||
var space = plugin.get_screen ().get_workspace_by_index (i);
|
||||
@ -297,8 +297,7 @@ namespace Gala
|
||||
|
||||
icon.reactive = true;
|
||||
icon.button_release_event.connect ( () => {
|
||||
w.activate_with_workspace (plugin.screen.get_display ().get_current_time (),
|
||||
space);
|
||||
space.activate_with_focus (w,plugin.screen.get_display ().get_current_time ());
|
||||
return false;
|
||||
});
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user