[gnome-shell] main: remove unused function

[Cosimo Cecchi <cosimoc src gnome org>]

commit ebd740638691cb12823f232a51383a17e26b9b8f
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Sat Feb 16 16:57:20 2013 -0500

    main: remove unused function
    
    https://bugzilla.gnome.org/show_bug.cgi?id=693987

 js/ui/main.js |    4 ----
 1 files changed, 0 insertions(+), 4 deletions(-)
---
diff --git a/js/ui/main.js b/js/ui/main.js
index ded5dad..e493a90 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