[gedit] ViewFrame: disable overlay scrolling for the GtkScrolledWindow

[Sébastien Wilmet <swilmet src gnome org>]

commit 5e0909c19f267b4023131881fac89c58a2a17453
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Wed Sep 11 11:34:10 2019 +0200

    ViewFrame: disable overlay scrolling for the GtkScrolledWindow
    
    The overlay scrollbars get in the way when trying to place the text
    cursor with the mouse. The problem occurs with both the right-side
    scrollbar and the bottom scrollbar. It's especially annoying when text
    wrapping is disabled, to place the cursor at the last line. An ugly
    workaround was to place the cursor at a different character, then move
    the cursor with the keyboard. It's a GTK regression that was never
    properly fixed in gedit.

 gedit/resources/ui/gedit-view-frame.ui | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/gedit/resources/ui/gedit-view-frame.ui b/gedit/resources/ui/gedit-view-frame.ui
index 660f7b10e..fb4e4ee89 100644
--- a/gedit/resources/ui/gedit-view-frame.ui
+++ b/gedit/resources/ui/gedit-view-frame.ui
@@ -14,6 +14,7 @@
             <property name="visible">True</property>
             <property name="hexpand">True</property>
             <property name="vexpand">True</property>
+            <property name="overlay_scrolling">False</property>
             <child>
               <object class="GeditView" id="view">
                 <property name="visible">True</property>