Fix rounded background (#1845)

This commit is contained in:
Leonhard 2024-02-08 22:42:42 +01:00 committed by GitHub
parent 6a39a09091
commit 48f09b112e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -89,6 +89,7 @@ public class Gala.BackgroundManager : Meta.BackgroundGroup {
var background = new_content.background.get_data<unowned Background> ("delegate");
if (background.is_loaded) {
new_content.rounded_clip_radius = Utils.scale_to_int (6, wm.get_display ().get_monitor_scale (monitor_index));
swap_background_actor (animate);
return;
}
@ -99,6 +100,7 @@ public class Gala.BackgroundManager : Meta.BackgroundGroup {
background.set_data<ulong> ("background-loaded-handler", 0);
swap_background_actor (animate);
new_content.rounded_clip_radius = Utils.scale_to_int (6, wm.get_display ().get_monitor_scale (monitor_index));
});
background.set_data<ulong> ("background-loaded-handler", handler);
}
@ -120,8 +122,6 @@ public class Gala.BackgroundManager : Meta.BackgroundGroup {
var monitor = display.get_monitor_geometry (monitor_index);
content.rounded_clip_radius = Utils.scale_to_int (6, display.get_monitor_scale (monitor_index));
if (background_source.should_dim) {
content.vignette = true;
content.brightness = DIM_OPACITY;