From d2dc072ba950d37b0a6928e6a112de70fcaf2198 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Mon, 11 Feb 2019 20:03:05 +0100 Subject: [PATCH] appMenu: Remove separator in window section We currently copy the app icon menu behavior, which puts a separator between windows from the current workspace and windows from any other workspace. It is more useful to have the windows section appear as a clearly marked group, so drop the separator. https://gitlab.gnome.org/GNOME/gnome-shell/issues/968 --- js/ui/panel.js | 7 ------- 1 file changed, 7 deletions(-) diff --git a/js/ui/panel.js b/js/ui/panel.js index a1f119941..aaf9f7b99 100644 --- a/js/ui/panel.js +++ b/js/ui/panel.js @@ -174,13 +174,6 @@ class AppMenu extends PopupMenu.PopupMenu { Main.activateWindow(window, event.get_time()); }); }); - - // Add separator between windows of the current desktop and other windows. - let workspaceManager = global.workspace_manager; - let activeWorkspace = workspaceManager.get_active_workspace(); - let pos = windows.findIndex(w => w.get_workspace() != activeWorkspace); - if (pos >= 0) - this._windowSection.addMenuItem(new PopupMenu.PopupSeparatorMenuItem(), pos); } }