[gnome-shell/wip/fmuellner/app-menu-refinement: 8/10] appMenu: Remove separator in window section
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell/wip/fmuellner/app-menu-refinement: 8/10] appMenu: Remove separator in window section
- Date: Wed, 13 Feb 2019 19:10:50 +0000 (UTC)
commit cc13fa772e5fdc471f4c799981bf7557654c8f82
Author: Florian Müllner <fmuellner gnome org>
Date: Mon Feb 11 20:03:05 2019 +0100
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 346a89a9e..0fbf51546 100644
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -169,13 +169,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);
}
}
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]