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',