From 08b664197884a066cc5a79f84280efd1ff1354fa Mon Sep 17 00:00:00 2001 From: Romain Vigier Date: Mon, 15 Jun 2020 17:26:28 +0200 Subject: [PATCH] Improve time source label --- src/preferences/Schedule.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/preferences/Schedule.js b/src/preferences/Schedule.js index 52845a4..725a46b 100644 --- a/src/preferences/Schedule.js +++ b/src/preferences/Schedule.js @@ -42,7 +42,7 @@ var SchedulePreferences = class { const description = _('The extension will try to use Night Light or Location Services to automatically set your current sunrise and sunset times if they are enabled.\n\nIf you prefer, you can manually choose a time source.'); const content = new SettingsList(); - content.add_row(new SettingsListRow(_('Manual time source'), new ManualTimeSourceControl())); + content.add_row(new SettingsListRow(_('Automatic time source'), new ManualTimeSourceControl())); const time_source_row = new SettingsListRow(_('Time source'), new TimeSourceControl()); settings.bind( @@ -90,7 +90,7 @@ class ManualTimeSourceControl { 'manual-time-source', toggle, 'active', - Gio.SettingsBindFlags.DEFAULT + Gio.SettingsBindFlags.INVERT_BOOLEAN ); return toggle; }