def __init__(self, **options):
self._xsettings = XSettingsOverrides()
name = _("Application Menu")
GetterSetterSwitchTweak.__init__(self, name, **options)
_GSettingsTweak.__init__(self,
name,
"org.gnome.desktop.wm.preferences",
"button-layout",
loaded=_shell_loaded,
**options)
def __init__(self, **options):
Gtk.Box.__init__(self, orientation=Gtk.Orientation.HORIZONTAL)
Tweak.__init__(self, _("Window scaling"), _("Adjust GDK window scaling factor for HiDPI"), **options)
self._xsettings = XSettingsOverrides()
self._original_factor = self._xsettings.get_window_scaling_factor()
adjustment = Gtk.Adjustment(lower=1, upper=2, step_increment=1, page_increment=1)
w = Gtk.SpinButton()
w.set_adjustment(adjustment)
w.set_digits(0)
adjustment.set_value(self._xsettings.get_window_scaling_factor())
w.connect("value-changed", self._on_value_changed)
build_label_beside_widget(self.name, w, hbox=self)
self.widget_for_size_group = w
def __init__(self, **options):
Gtk.Box.__init__(self, orientation=Gtk.Orientation.HORIZONTAL)
Tweak.__init__(self, _("Window scaling"),
_("Adjust GDK window scaling factor for HiDPI"),
**options)
self._xsettings = XSettingsOverrides()
self._original_factor = self._xsettings.get_window_scaling_factor()
w = Gtk.SpinButton.new_with_range(1, 2, 1)
w.set_numeric(True)
w.set_digits(0)
w.set_update_policy(Gtk.SpinButtonUpdatePolicy.IF_VALID)
w.set_value(self._xsettings.get_window_scaling_factor())
w.connect("value-changed", self._on_value_changed)
build_label_beside_widget(self.name, w, hbox=self)
self.widget_for_size_group = w
def __init__(self, **options):
self._xsettings = XSettingsOverrides()
GetterSetterSwitchTweak.__init__(self, _("Show Application Menu"), **options)
def __init__(self, **options):
self._xsettings = XSettingsOverrides()
GetterSetterSwitchTweak.__init__(self, _("Middle-click Paste"),
**options)
