From 7d806471706e06ecb0078f17db153c75592a699a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Tue, 19 Aug 2014 12:08:51 +0200
Subject: [PATCH] popupMenu: Remove unused function

---
 js/ui/popupMenu.js | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index 470df0c24..0e9e0c497 100644
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -21,17 +21,6 @@ const Ornament = {
     CHECK: 2,
 };
 
-function _ensureStyle(actor) {
-    if (actor.get_children) {
-        let children = actor.get_children();
-        for (let i = 0; i < children.length; i++)
-            _ensureStyle(children[i]);
-    }
-
-    if (actor instanceof St.Widget)
-        actor.ensure_style();
-}
-
 function isPopupMenuItemVisible(child) {
     if (child._delegate instanceof PopupMenuSection)
         if (child._delegate.isEmpty())