diff --git a/src/prefs.js b/src/prefs.js index fc4bbad..29d3e84 100644 --- a/src/prefs.js +++ b/src/prefs.js @@ -8,14 +8,12 @@ const _ = Gettext.gettext; const ExtensionUtils = imports.misc.extensionUtils; -let _settings; - function init() { ExtensionUtils.initTranslations(); } function buildPrefsWidget() { - _settings = ExtensionUtils.getSettings(); + let settings = ExtensionUtils.getSettings(); let box = new Gtk.Box({ halign: Gtk.Align.CENTER, orientation: Gtk.Orientation.VERTICAL, @@ -26,19 +24,19 @@ function buildPrefsWidget() { spacing: 16 }); - box.append(buildSwitcher('move-hot-corners', _('Move Hot Corners:'))); + box.append(buildSwitcher(settings, 'move-hot-corners', _('Move Hot Corners:'))); return box; } -function buildSwitcher(key, labeltext) { +function buildSwitcher(settings, key, labeltext) { let hbox = new Gtk.Box({orientation: Gtk.Orientation.HORIZONTAL, spacing: 10 }); let label = new Gtk.Label({label: labeltext }); let switcher = new Gtk.Switch(); - _settings.bind(key, switcher, 'active', Gio.SettingsBindFlags.DEFAULT); + settings.bind(key, switcher, 'active', Gio.SettingsBindFlags.DEFAULT); hbox.append(label); hbox.append(switcher);