[gedit-code-assistance] Correctly position diag message depending on gtk version

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 4d7633b69304073b53081871c3cbbf94091ab450
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Fri Jan 10 12:46:08 2014 +0100

    Correctly position diag message depending on gtk version

 src/gca-diagnostic-message.vala |   24 ++++++++++++++++++++----
 1 files changed, 20 insertions(+), 4 deletions(-)
---
diff --git a/src/gca-diagnostic-message.vala b/src/gca-diagnostic-message.vala
index ae7a765..15aaefb 100644
--- a/src/gca-diagnostic-message.vala
+++ b/src/gca-diagnostic-message.vala
@@ -280,8 +280,16 @@ class DiagnosticMessage : EventBox
                int ymin;
                int ymax;
 
-               d_view.buffer_to_window_coords(TextWindowType.TEXT, 0, y.min, null, out ymin);
-               d_view.buffer_to_window_coords(TextWindowType.TEXT, 0, y.max, null, out ymax);
+               if (Gtk.check_version(3, 11, 0) == null)
+               {
+                       ymin = y.min;
+                       ymax = y.max;
+               }
+               else
+               {
+                       d_view.buffer_to_window_coords(TextWindowType.TEXT, 0, y.min, null, out ymin);
+                       d_view.buffer_to_window_coords(TextWindowType.TEXT, 0, y.max, null, out ymax);
+               }
 
                var window = d_view.get_window(TextWindowType.TEXT);
                int aligny;
@@ -307,8 +315,16 @@ class DiagnosticMessage : EventBox
                int xmin;
                int xmax;
 
-               d_view.buffer_to_window_coords(TextWindowType.TEXT, xrange.min, 0, out xmin, null);
-               d_view.buffer_to_window_coords(TextWindowType.TEXT, xrange.max, 0, out xmax, null);
+               if (Gtk.check_version(3, 11, 0) == null)
+               {
+                       xmin = xrange.min;
+                       xmax = xrange.max;
+               }
+               else
+               {
+                       d_view.buffer_to_window_coords(TextWindowType.TEXT, xrange.min, 0, out xmin, null);
+                       d_view.buffer_to_window_coords(TextWindowType.TEXT, xrange.max, 0, out xmax, null);
+               }
 
                int xc;
                int width;