[gnome-terminal/gnome-3-4: 1/10] Use new gtk workarea API

[Christian Persch <chpe src gnome org>]

commit 5f9502118251553e47126790ea771f9bbcbcda83
Author: Christian Persch <chpe gnome org>
Date:   Fri Jan 20 21:40:55 2012 +0100

    Use new gtk workarea API

 src/terminal-window.c |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/src/terminal-window.c b/src/terminal-window.c
index 27b76a6..491bbaf 100644
--- a/src/terminal-window.c
+++ b/src/terminal-window.c
@@ -400,7 +400,12 @@ position_menu_under_widget (GtkMenu *menu,
   monitor_num = gdk_screen_get_monitor_at_window (screen, widget_window);
   if (monitor_num < 0)
           monitor_num = 0;
+
+#if GTK_CHECK_VERSION (3, 3, 5)
+  gdk_screen_get_monitor_workarea (screen, monitor_num, &monitor);
+#else
   gdk_screen_get_monitor_geometry (screen, monitor_num, &monitor);
+#endif
 
   gdk_window_get_origin (widget_window, x, y);
   if (!gtk_widget_get_has_window (widget))