summaryrefslogtreecommitdiff
path: root/core/src/widget/overlay.vala
diff options
context:
space:
mode:
authorKevin <[email protected]>2024-10-16 00:49:16 -0300
committerKevin <[email protected]>2024-10-16 00:49:16 -0300
commit2b1e8501b46056b79d97e90c6ec94e3ad36d0ab2 (patch)
tree6486e98bd1ba523b1aeb4bd2566d1ff6e5c41798 /core/src/widget/overlay.vala
parent03f2c4706faba7dac5aee71b10255eac218cbeec (diff)
parent236487001ab2a6c9c8e87e5db0ced9e5ab3ed791 (diff)
Merge branch 'adapt-upstream-changes'
Diffstat (limited to 'core/src/widget/overlay.vala')
-rw-r--r--core/src/widget/overlay.vala59
1 files changed, 0 insertions, 59 deletions
diff --git a/core/src/widget/overlay.vala b/core/src/widget/overlay.vala
deleted file mode 100644
index 207aaa7..0000000
--- a/core/src/widget/overlay.vala
+++ /dev/null
@@ -1,59 +0,0 @@
-namespace Astal {
-public class Overlay : Gtk.Overlay {
- public bool pass_through { get; set; }
-
- public Gtk.Widget? overlay {
- get { return overlays.nth_data(0); }
- set {
- foreach (var ch in get_children()) {
- if (ch != child)
- remove(ch);
- }
-
- if (value != null)
- add_overlay(value);
- }
- }
-
- public List<weak Gtk.Widget> overlays {
- owned get { return get_children(); }
- set {
- foreach (var ch in get_children()) {
- if (ch != child)
- remove(ch);
- }
-
- foreach (var ch in value)
- add_overlay(ch);
- }
- }
-
- public new Gtk.Widget? child {
- get { return get_child(); }
- set {
- var ch = get_child();
- if (ch != null)
- remove(ch);
-
- if (value != null)
- add(value);
- }
- }
-
- construct {
- notify["pass-through"].connect(() => {
- update_pass_through();
- });
- }
-
- private void update_pass_through() {
- foreach (var child in get_children())
- set_overlay_pass_through(child, pass_through);
- }
-
- public new void add_overlay(Gtk.Widget widget) {
- base.add_overlay(widget);
- set_overlay_pass_through(widget, pass_through);
- }
-}
-}