diff --git a/src/HotCorners/Barrier.vala b/src/HotCorners/Barrier.vala index 1101629fe..1ebb42d07 100644 --- a/src/HotCorners/Barrier.vala +++ b/src/HotCorners/Barrier.vala @@ -11,9 +11,9 @@ public class Gala.Barrier : Object { public bool triggered { get; set; default = false; } - public int trigger_pressure_threshold { get; construct; } - public int release_pressure_threshold { get; construct; } - public int retrigger_pressure_threshold { get; construct; } + public double trigger_pressure_threshold { get; construct; } + public double release_pressure_threshold { get; construct; } + public double retrigger_pressure_threshold { get; construct; } public int retrigger_delay { get; construct; } private Meta.Barrier barrier; @@ -34,9 +34,9 @@ public class Gala.Barrier : Object { int x2, int y2, Meta.BarrierDirection directions, - int trigger_pressure_threshold, - int release_pressure_threshold, - int retrigger_pressure_threshold, + double trigger_pressure_threshold, + double release_pressure_threshold, + double retrigger_pressure_threshold, int retrigger_delay ) { Object ( diff --git a/src/ShellClients/HideTracker.vala b/src/ShellClients/HideTracker.vala index 90dc2b809..7ab79b375 100644 --- a/src/ShellClients/HideTracker.vala +++ b/src/ShellClients/HideTracker.vala @@ -334,7 +334,7 @@ public class Gala.HideTracker : Object { monitor_geom.x + monitor_geom.width - offset, monitor_geom.y + monitor_geom.height, NEGATIVE_Y, - 0, + 2.5, 0, int.MAX, int.MAX