elementary/gala
1
1
Fork 0
mirror of https://github.com/elementary/gala.git synced 2024-12-26 02:33:27 +03:00
Code Issues Packages Projects Releases Wiki Activity

Removed commented code and fixed spacing

Browse Source
This commit is contained in:
Garden Gnome 2012-06-02 17:32:00 +01:00
parent c2f2054dcb
commit b65e75cccd
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Widgets/WindowSwitcher.vala
View File

@ -212,8 +212,8 @@ namespace Gala
plugin.begin_modal (); plugin.begin_modal ();
int width, height; int width, height;
//screen.get_size (out width, out height);
unowned Meta.Rectangle area; unowned Meta.Rectangle area;
plugin.screen.get_monitor_geometry (plugin.screen.get_primary_monitor (), out area); plugin.screen.get_monitor_geometry (plugin.screen.get_primary_monitor (), out area);
width = area.width; width = area.width;
height = area.height; height = area.height;

6
src/Widgets/WorkspaceView.vala
View File

@ -126,8 +126,8 @@ namespace Gala
} }
unowned Rectangle area; unowned Rectangle area;
plugin.screen.get_monitor_geometry (plugin.screen.get_primary_monitor (), out area); plugin.screen.get_monitor_geometry (plugin.screen.get_primary_monitor (), out area);
//plugin.screen.get_active_workspace ().get_work_area_all_monitors (out area);
var n_wins = windows.length (); var n_wins = windows.length ();
var index = 0; var index = 0;
@ -185,8 +185,8 @@ namespace Gala
}); });
int width, height; int width, height;
//plugin.get_screen ().get_size (out width, out height);
unowned Rectangle area; unowned Rectangle area;
plugin.screen.get_monitor_geometry (plugin.screen.get_primary_monitor (), out area); plugin.screen.get_monitor_geometry (plugin.screen.get_primary_monitor (), out area);
width = area.width; width = area.width;
height = area.height; height = area.height;
@ -314,8 +314,8 @@ namespace Gala
animating = true; animating = true;
int width, height; int width, height;
//plugin.get_screen ().get_size (out width, out height);
unowned Rectangle area; unowned Rectangle area;
plugin.screen.get_monitor_geometry (plugin.screen.get_primary_monitor (), out area); plugin.screen.get_monitor_geometry (plugin.screen.get_primary_monitor (), out area);
width = area.width; width = area.width;
height = area.height; height = area.height;