From d2103995cb8c4d77808933f7c603f7d658ae996d Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Fri, 19 Apr 2013 22:34:40 -0400
Subject: [PATCH] popupMenu: Remove some now-unused code

We don't have any sections with separators, so don't bother
tracking them.

https://bugzilla.gnome.org/show_bug.cgi?id=698427
---
 js/ui/popupMenu.js | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index 77196e3c7..ac9ae6f53 100644
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -1466,23 +1466,12 @@ const PopupMenuSection = new Lang.Class({
         this.actor = this.box;
         this.actor._delegate = this;
         this.isOpen = true;
-
-        // an array of externally managed separators
-        this.separators = [];
     },
 
     // deliberately ignore any attempt to open() or close(), but emit the
     // corresponding signal so children can still pick it up
     open: function() { this.emit('open-state-changed', true); },
     close: function() { this.emit('open-state-changed', false); },
-
-    destroy: function() {
-        for (let i = 0; i < this.separators.length; i++)
-            this.separators[i].destroy();
-        this.separators = [];
-
-        this.parent();
-    }
 });
 
 const PopupSubMenuMenuItem = new Lang.Class({