elementary/gala
1
1
Fork 0
mirror of https://github.com/elementary/gala.git synced 2024-11-27 15:45:31 +03:00
Code Issues Packages Projects Releases Wiki Activity

maskcorners: Fix size of radius in HiDPI (#93)

Browse Source
This commit is contained in:
Daniel Foré 2017-10-01 07:59:36 -04:00 committed by Rico Tzschichholz
parent 548513d48c
commit 1e29ce3487
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
plugins/maskcorners/Main.vala
View File

@ -50,9 +50,15 @@ namespace Gala.Plugins.MaskCorners
if (!settings.enable)
return;
#if HAS_MUTTER326
var scale = Meta.Backend.get_backend ().get_settings ().get_ui_scaling_factor ();
#else
var scale = 1;
#endif
int n_monitors = screen.get_n_monitors ();
cornermasks = new List<Actor>[n_monitors];
corner_radius = settings.corner_radius;
corner_radius = settings.corner_radius * scale;
if (settings.only_on_primary) {
add_cornermasks (screen.get_primary_monitor ());