[gnome-shell/wip/fmuellner/app-menu-refinement: 205/207] appMenu: Remove separator in window section

[Florian Müllner <fmuellner src gnome org>]

commit d2dc072ba950d37b0a6928e6a112de70fcaf2198
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 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);
     }
 }