rrahl0/gala
1
0
Fork 0
mirror of https://github.com/elementary/gala.git synced 2024-11-25 03:06:14 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

PiP: Add rounded corners

Browse Source
This commit is contained in:
lenemter 2024-08-04 21:24:04 +09:00
parent 75f0b010d6
commit 1c6c7dbe8d
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
plugins/pip/PopupWindow.vala
View File

@ -79,14 +79,20 @@ public class Gala.Plugins.PIP.PopupWindow : Clutter.Actor {
scale_y = 0.35f
};
clone_container.add_child (clone);
var rounded_container = new Clutter.Actor ();
rounded_container.add_child (clone_container);
rounded_container.add_effect (new RoundedCornersEffect (9, scale));
container = new Clutter.Actor () {
reactive = true
};
container.add_child (clone_container);
container.add_effect (new ShadowEffect ("window"));
container.add_child (rounded_container);
container.add_effect (new ShadowEffect ("window") { border_radius = 6 });
container.add_action (move_action);
rounded_container.add_constraint (new Clutter.BindConstraint (container, Clutter.BindCoordinate.SIZE, 0.0f));
update_size ();
#if HAS_MUTTER45