From 25c83a2ddedf8f9e406dfdc891f6e883c20d86b0 Mon Sep 17 00:00:00 2001 From: Jeremy Wootten Date: Fri, 23 Apr 2021 18:28:05 +0100 Subject: [PATCH] Fix lint errors in src/Background/BackgroundSource.vala & src/Widgets/Screenshield.vala --- src/Background/BackgroundSource.vala | 4 ++-- src/Widgets/ScreenShield.vala | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Background/BackgroundSource.vala b/src/Background/BackgroundSource.vala index b7622002..371cfafd 100644 --- a/src/Background/BackgroundSource.vala +++ b/src/Background/BackgroundSource.vala @@ -116,11 +116,11 @@ namespace Gala { SettingsHashCache settings_hash_cache; // list of keys that are actually relevant for us - const string[] options = { "color-shading-type", "picture-opacity", + const string[] OPTIONS = { "color-shading-type", "picture-opacity", "picture-options", "picture-uri", "primary-color", "secondary-color" }; void settings_changed (string key) { - if (!(key in options)) + if (!(key in OPTIONS)) return; var current = get_current_settings_hash_cache (); diff --git a/src/Widgets/ScreenShield.vala b/src/Widgets/ScreenShield.vala index 685fc445..05e55aad 100644 --- a/src/Widgets/ScreenShield.vala +++ b/src/Widgets/ScreenShield.vala @@ -83,7 +83,7 @@ namespace Gala { public bool is_locked { get; private set; default = false; } public bool in_greeter { get; private set; default = false; } - public int64 activation_time { get; private set; default = 0; } + public int64 activation_time { get; private set; default = 0; } public WindowManager wm { get; construct; }