diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2022-05-21 19:43:54 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2022-05-21 19:43:54 +0200 |
| commit | 9e0516824a0f79514aca5d6dbb1aa21cd247ba05 (patch) | |
| tree | 9764868c78e104cc18bb6c59f6a8a8a952b30d28 /src/util | |
| parent | 4c548cd33f0614e666d9049e41b4f129629cf182 (diff) | |
New upstream version 0.30.16upstream/0.30.16
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/ui.vala | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/util/ui.vala b/src/util/ui.vala index 7e7348f..6d32738 100644 --- a/src/util/ui.vala +++ b/src/util/ui.vala @@ -86,7 +86,6 @@ public bool has_only_key_modifier(Gdk.ModifierType field, Gdk.ModifierType mask) | Gdk.ModifierType.META_MASK)) == mask; } -#if ENABLE_FACES bool is_pointer_over(Gdk.Window window) { Gdk.DeviceManager? devmgr = window.get_display().get_device_manager(); if (devmgr == null) { @@ -101,5 +100,4 @@ bool is_pointer_over(Gdk.Window window) { return x >= 0 && y >= 0 && x < window.get_width() && y < window.get_height(); } -#endif |