[gnome-shell] windowManager: Remove unused function

[Jasper St. Pierre <jstpierre src gnome org>]

commit de65739c0109d2b8afbb33f58adfebcc878b7edc
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Thu Jul 5 14:52:01 2012 -0400

    windowManager: Remove unused function
    
    https://bugzilla.gnome.org/show_bug.cgi?id=679500

 js/ui/windowManager.js |    6 ------
 1 files changed, 0 insertions(+), 6 deletions(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index d096c83..1d5f204 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -26,12 +26,6 @@ function getDimShaderSource() {
     return dimShader;
 }
 
-function getTopInvisibleBorder(metaWindow) {
-    let outerRect = metaWindow.get_outer_rect();
-    let inputRect = metaWindow.get_input_rect();
-    return outerRect.y - inputRect.y;
-}
-
 const WindowDimmer = new Lang.Class({
     Name: 'WindowDimmer',