diff options
author | Aylur <[email protected]> | 2024-10-15 15:30:04 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2024-10-15 15:30:04 +0200 |
commit | cbe650afb31c24faea6da45b4aeeffc6e964969d (patch) | |
tree | d5c3788835ca7e50d68cd023026e7738f39f6f71 /core/src/widget/overlay.vala | |
parent | bdb23e20f171da7c769cba9e393d7e406e563a78 (diff) | |
parent | bafd48d3df9b43a1d49ec015eff30619d595468b (diff) |
Merge pull request #46 from Aylur/small-refactor
Small refactor
Diffstat (limited to 'core/src/widget/overlay.vala')
-rw-r--r-- | core/src/widget/overlay.vala | 59 |
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); - } -} -} |