Fix #8037 - bug on zoom

[roobuilder] / src / Builder4 / WindowRooView.vala

diff --git a/src/Builder4/WindowRooView.vala b/src/Builder4/WindowRooView.vala
index 1d028a5..6f40526 100644 (file)
--- a/src/Builder4/WindowRooView.vala
+++ b/src/Builder4/WindowRooView.vala
@@ -1027,7 +1027,7 @@ public class Xcls_WindowRooView : Object
                        this.el.vexpand = true;
                        new Xcls_sourceviewscroll( _this );
                        this.el.append( _this.sourceviewscroll.el );
-                       var child_2 = new Xcls_Box17( _this );
+                       var child_2 = new Xcls_Box18( _this );
                        child_2.ref();
                        this.el.append( child_2.el );
                }
@@ -1100,7 +1100,7 @@ public class Xcls_WindowRooView : Object
                        this.el.set_buffer ( _this.buffer.el  );
                        new Xcls_keystate( _this );
                        this.el.add_controller ( _this.keystate.el  );
-                       var child_3 = new Xcls_EventControllerScroll32( _this );
+                       var child_3 = new Xcls_EventControllerScroll17( _this );
                        child_3.ref();
                        this.el.add_controller(  child_3.el );
 
@@ -1701,7 +1701,7 @@ public class Xcls_WindowRooView : Object
                // user defined functions
        }
 
-       public class Xcls_EventControllerScroll32 : Object
+       public class Xcls_EventControllerScroll17 : Object
        {
                public Gtk.EventControllerScroll el;
                private Xcls_WindowRooView  _this;
@@ -1711,7 +1711,7 @@ public class Xcls_WindowRooView : Object
                public double distance;
 
                // ctor
-               public Xcls_EventControllerScroll32(Xcls_WindowRooView _owner )
+               public Xcls_EventControllerScroll17(Xcls_WindowRooView _owner )
                {
                        _this = _owner;
                        this.el = new Gtk.EventControllerScroll( Gtk.EventControllerScrollFlags.VERTICAL );
@@ -1729,11 +1729,12 @@ public class Xcls_WindowRooView : Object
                                //GLib.debug("scroll %f",  dy);
                                
                                this.distance += dy;
-                               if (this.distance < 1) {
+                                if (this.distance < -1) {
+                        
                                        BuilderApplication.settings.editor_font_size ++;
                                        this.distance = 0;
                                }
-                               if (this.distance > -1) {
+                               if (this.distance > 1) {
                                        BuilderApplication.settings.editor_font_size --;
                                        this.distance = 0;
                                }
@@ -1747,7 +1748,7 @@ public class Xcls_WindowRooView : Object
 
 
 
-       public class Xcls_Box17 : Object
+       public class Xcls_Box18 : Object
        {
                public Gtk.Box el;
                private Xcls_WindowRooView  _this;
@@ -1756,7 +1757,7 @@ public class Xcls_WindowRooView : Object
                        // my vars (def)
 
                // ctor
-               public Xcls_Box17(Xcls_WindowRooView _owner )
+               public Xcls_Box18(Xcls_WindowRooView _owner )
                {
                        _this = _owner;
                        this.el = new Gtk.Box( Gtk.Orientation.HORIZONTAL, 0 );
@@ -1774,7 +1775,7 @@ public class Xcls_WindowRooView : Object
                        this.el.append( _this.nextBtn.el );
                        new Xcls_backBtn( _this );
                        this.el.append( _this.backBtn.el );
-                       var child_5 = new Xcls_MenuButton23( _this );
+                       var child_5 = new Xcls_MenuButton24( _this );
                        child_5.ref();
                        this.el.append( child_5.el );
                }
@@ -1802,7 +1803,7 @@ public class Xcls_WindowRooView : Object
                        this.el.name = "roo-search-entry";
                        this.el.hexpand = true;
                        this.el.placeholder_text = "Press enter to search";
-                       var child_1 = new Xcls_EventControllerKey19( _this );
+                       var child_1 = new Xcls_EventControllerKey20( _this );
                        child_1.ref();
                        this.el.add_controller(  child_1.el );
 
@@ -1847,7 +1848,7 @@ public class Xcls_WindowRooView : Object
                        
                }
        }
-       public class Xcls_EventControllerKey19 : Object
+       public class Xcls_EventControllerKey20 : Object
        {
                public Gtk.EventControllerKey el;
                private Xcls_WindowRooView  _this;
@@ -1856,7 +1857,7 @@ public class Xcls_WindowRooView : Object
                        // my vars (def)
 
                // ctor
-               public Xcls_EventControllerKey19(Xcls_WindowRooView _owner )
+               public Xcls_EventControllerKey20(Xcls_WindowRooView _owner )
                {
                        _this = _owner;
                        this.el = new Gtk.EventControllerKey();
@@ -2007,7 +2008,7 @@ public class Xcls_WindowRooView : Object
                // user defined functions
        }
 
-       public class Xcls_MenuButton23 : Object
+       public class Xcls_MenuButton24 : Object
        {
                public Gtk.MenuButton el;
                private Xcls_WindowRooView  _this;
@@ -2017,7 +2018,7 @@ public class Xcls_WindowRooView : Object
                public bool always_show_image;
 
                // ctor
-               public Xcls_MenuButton23(Xcls_WindowRooView _owner )
+               public Xcls_MenuButton24(Xcls_WindowRooView _owner )
                {
                        _this = _owner;
                        this.el = new Gtk.MenuButton();
@@ -2051,14 +2052,14 @@ public class Xcls_WindowRooView : Object
                        // my vars (dec)
 
                        // set gobject values
-                       var child_1 = new Xcls_Box25( _this );
+                       var child_1 = new Xcls_Box26( _this );
                        child_1.ref();
                        this.el.child = child_1.el;
                }
 
                // user defined functions
        }
-       public class Xcls_Box25 : Object
+       public class Xcls_Box26 : Object
        {
                public Gtk.Box el;
                private Xcls_WindowRooView  _this;
@@ -2067,7 +2068,7 @@ public class Xcls_WindowRooView : Object
                        // my vars (def)
 
                // ctor
-               public Xcls_Box25(Xcls_WindowRooView _owner )
+               public Xcls_Box26(Xcls_WindowRooView _owner )
                {
                        _this = _owner;
                        this.el = new Gtk.Box( Gtk.Orientation.VERTICAL, 0 );