Fix lint errors in src/Background/BackgroundSource.vala & src/Widgets/Screenshield.vala

This commit is contained in:
Jeremy Wootten 2021-04-23 18:28:05 +01:00 committed by Daniel Foré
parent 6d025daa69
commit 25c83a2dde
2 changed files with 3 additions and 3 deletions

View File

@ -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 ();

View File

@ -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; }