(self, widget)
Ctrl+mousewheel zoom setting changed
Ctrl+mousewheel zoom setting changed
Ctrl + mousewheel zoom setting changed
def on_disable_mousewheel_zoom_toggled(self, widget):
        """Ctrl+mousewheel zoom setting changed"""
        self.config['disable_mousewheel_zoom'] = widget.get_active()
        self.config.save()
def on_disable_mousewheel_zoom_toggled ( self , widget ) : self . config [ 'disable_mousewheel_zoom' ] = widget . get_active ( ) self . config . save ( )