From b65e75cccd22413fe78fe541d6b8c856832d31fd Mon Sep 17 00:00:00 2001 From: Garden Gnome Date: Sat, 2 Jun 2012 17:32:00 +0100 Subject: [PATCH] Removed commented code and fixed spacing --- src/Widgets/WindowSwitcher.vala | 2 +- src/Widgets/WorkspaceView.vala | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Widgets/WindowSwitcher.vala b/src/Widgets/WindowSwitcher.vala index b0e1dd24..aaf737cb 100644 --- a/src/Widgets/WindowSwitcher.vala +++ b/src/Widgets/WindowSwitcher.vala @@ -212,8 +212,8 @@ namespace Gala plugin.begin_modal (); int width, height; - //screen.get_size (out width, out height); unowned Meta.Rectangle area; + plugin.screen.get_monitor_geometry (plugin.screen.get_primary_monitor (), out area); width = area.width; height = area.height; diff --git a/src/Widgets/WorkspaceView.vala b/src/Widgets/WorkspaceView.vala index 0790eb80..b395184a 100644 --- a/src/Widgets/WorkspaceView.vala +++ b/src/Widgets/WorkspaceView.vala @@ -126,8 +126,8 @@ namespace Gala } unowned Rectangle 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 index = 0; @@ -185,8 +185,8 @@ namespace Gala }); int width, height; - //plugin.get_screen ().get_size (out width, out height); unowned Rectangle area; + plugin.screen.get_monitor_geometry (plugin.screen.get_primary_monitor (), out area); width = area.width; height = area.height; @@ -314,8 +314,8 @@ namespace Gala animating = true; int width, height; - //plugin.get_screen ().get_size (out width, out height); unowned Rectangle area; + plugin.screen.get_monitor_geometry (plugin.screen.get_primary_monitor (), out area); width = area.width; height = area.height;