From de65739c0109d2b8afbb33f58adfebcc878b7edc Mon Sep 17 00:00:00 2001 From: "Jasper St. Pierre" Date: Thu, 5 Jul 2012 14:52:01 -0400 Subject: [PATCH] windowManager: Remove unused function https://bugzilla.gnome.org/show_bug.cgi?id=679500 --- js/ui/windowManager.js | 6 ------ 1 file changed, 6 deletions(-) diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js index d096c8399..1d5f2044f 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',