brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

windowManager: Remove unused function

Browse Source 
https://bugzilla.gnome.org/show_bug.cgi?id=679500
This commit is contained in:
Jasper St. Pierre 2012-07-05 14:52:01 -04:00
parent e1ec89a133
commit de65739c01
1 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
js/ui/windowManager.js
View File

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