elementary/gala
1
1
Fork 0
mirror of https://github.com/elementary/gala.git synced 2024-08-16 10:30:40 +03:00
Code Issues Packages Projects Releases Wiki Activity

MaskCorners: Remove radius setting (#859)

Browse Source
This commit is contained in:
Daniel Foré 2020-06-27 02:17:42 -07:00 committed by GitHub
parent 481749cee5
commit 266bc587e9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
data/gala.gschema.xml
View File

@ -264,6 +264,7 @@
<default>4</default>
<range min="1" max="32"/>
<summary>Corner radius</summary>
<description>DEPRECATED: This setting is no longer used</description>
</key>
<key type="b" name="disable-on-fullscreen">
<default>true</default>

4
plugins/maskcorners/Main.vala
View File

@ -29,7 +29,7 @@ namespace Gala.Plugins.MaskCorners {
Settings settings;
List<Actor>[] 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<Actor>[n_monitors];
corner_radius = settings.corner_radius * scale;
corner_radius = corner_radius * scale;
if (settings.only_on_primary) {
#if HAS_MUTTER330

1
plugins/maskcorners/Settings.vala
View File

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