Close multitasking view if workspace is selected (#795)

This commit is contained in:
Felix Andreas 2020-07-12 20:43:38 +02:00 committed by GitHub
parent c536d41cea
commit a9c18bbd65
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -182,19 +182,7 @@ namespace Gala {
#endif
icon_group = new IconGroup (workspace);
icon_group.selected.connect (() => {
#if HAS_MUTTER330
if (workspace == display.get_workspace_manager ().get_active_workspace ())
Utils.bell (display);
else
selected (false);
#else
if (workspace == screen.get_active_workspace ())
Utils.bell (screen);
else
selected (false);
#endif
});
icon_group.selected.connect (() => selected (true));
var icons_drop_action = new DragDropAction (DragDropActionType.DESTINATION, "multitaskingview-window");
icon_group.add_action (icons_drop_action);