[gnome-shell/wip/fmuellner/ci-test] 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/ci-test] appMenu: Remove separator in window section
- Date: Tue, 12 Feb 2019 21:32:31 +0000 (UTC)
commit 06498b82ff2230f162661fc129dc3c1202e185e5
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]