From ebd740638691cb12823f232a51383a17e26b9b8f Mon Sep 17 00:00:00 2001
From: Cosimo Cecchi <cosimoc@gnome.org>
Date: Sat, 16 Feb 2013 16:57:20 -0500
Subject: [PATCH] main: remove unused function

https://bugzilla.gnome.org/show_bug.cgi?id=693987
---
 js/ui/main.js | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/js/ui/main.js b/js/ui/main.js
index ded5dad86..e493a90bb 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -458,10 +458,6 @@ function _findModal(actor) {
     return -1;
 }
 
-function isInModalStack(actor) {
-    return _findModal(actor) != -1;
-}
-
 /**
  * pushModal:
  * @actor: #ClutterActor which will be given keyboard focus