[gnome-shell/wip/fmuellner/app-menu-refinement: 204/207] appMenu: Add separator between "Details" and "Quit"

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

commit ffaca00594b8090c4959a6f2c2183c8a53d1d009
Author: Florian Müllner <fmuellner gnome org>
Date:   Mon Feb 11 19:50:37 2019 +0100

    appMenu: Add separator between "Details" and "Quit"
    
    The two actions are sufficiently different to warrant their own
    groups.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/issues/968

 js/ui/panel.js | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/js/ui/panel.js b/js/ui/panel.js
index 36e16d3c2..a1f119941 100644
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -105,6 +105,8 @@ class AppMenu extends PopupMenu.PopupMenu {
             });
         });
 
+        this.addMenuItem(new PopupMenu.PopupSeparatorMenuItem());
+
         this.addAction(_("Quit"), () => {
             this._app.request_quit();
         });