From b5960af2fc9a6f329f23c8bc3626d52182f9a455 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marco=20Trevisan=20=28Trevi=C3=B1o=29?= Date: Fri, 18 Aug 2023 00:12:23 +0200 Subject: [PATCH] layout: Export PressureBarrier It's an utility function that extensions can use to create pointer barriers, so export it to allow wider usage Part-of: --- js/ui/layout.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/ui/layout.js b/js/ui/layout.js index 5611dadcb..d1053df48 100644 --- a/js/ui/layout.js +++ b/js/ui/layout.js @@ -1299,7 +1299,7 @@ class HotCorner extends Clutter.Actor { } }); -class PressureBarrier extends Signals.EventEmitter { +export class PressureBarrier extends Signals.EventEmitter { constructor(threshold, timeout, actionMode) { super();