From ffaca00594b8090c4959a6f2c2183c8a53d1d009 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Mon, 11 Feb 2019 19:50:37 +0100
Subject: [PATCH] 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();
         });