From 266bc587e9aa2ade7a14347212a6f19041b03a6d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20For=C3=A9?= Date: Sat, 27 Jun 2020 02:17:42 -0700 Subject: [PATCH] MaskCorners: Remove radius setting (#859) --- data/gala.gschema.xml | 1 + plugins/maskcorners/Main.vala | 4 ++-- plugins/maskcorners/Settings.vala | 1 - 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/data/gala.gschema.xml b/data/gala.gschema.xml index 4af3bad4..f9fa6169 100644 --- a/data/gala.gschema.xml +++ b/data/gala.gschema.xml @@ -264,6 +264,7 @@ 4 Corner radius + DEPRECATED: This setting is no longer used true diff --git a/plugins/maskcorners/Main.vala b/plugins/maskcorners/Main.vala index 6abda384..0877b1b6 100644 --- a/plugins/maskcorners/Main.vala +++ b/plugins/maskcorners/Main.vala @@ -29,7 +29,7 @@ namespace Gala.Plugins.MaskCorners { Settings settings; List[] cornermasks; - int corner_radius = 4; + private int corner_radius = 6; public override void initialize (Gala.WindowManager wm) { this.wm = wm; @@ -61,7 +61,7 @@ namespace Gala.Plugins.MaskCorners { int n_monitors = screen.get_n_monitors (); #endif cornermasks = new List[n_monitors]; - corner_radius = settings.corner_radius * scale; + corner_radius = corner_radius * scale; if (settings.only_on_primary) { #if HAS_MUTTER330 diff --git a/plugins/maskcorners/Settings.vala b/plugins/maskcorners/Settings.vala index 1c8e7fa8..7c3f4c41 100644 --- a/plugins/maskcorners/Settings.vala +++ b/plugins/maskcorners/Settings.vala @@ -27,7 +27,6 @@ namespace Gala.Plugins.MaskCorners { } public bool enable { get; set; default = true; } - public int corner_radius { get; set; default = 4; } public bool disable_on_fullscreen { get; set; default = true; } public bool only_on_primary { get; set; default = false; }