From e5502d1a9b8dccbc4eb75d2d3ea3e6266186a7d7 Mon Sep 17 00:00:00 2001 From: brahim <92426196+BrhmDev@users.noreply.github.com> Date: Sun, 6 Oct 2024 14:46:46 +0200 Subject: [PATCH] Add pref for rearrange-edge-hover-size --- src/ZenViewSplitter.mjs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/ZenViewSplitter.mjs b/src/ZenViewSplitter.mjs index 1306386..7b1c4be 100644 --- a/src/ZenViewSplitter.mjs +++ b/src/ZenViewSplitter.mjs @@ -66,12 +66,13 @@ class ZenViewSplitter extends ZenDOMOperatedFeature { _splitNodeToSplitters = new Map(); _tabToSplitNode = new Map(); dropZone; - _edgeHoverSize = 20; + _edgeHoverSize; minResizeWidth; init() { XPCOMUtils.defineLazyPreferenceGetter(this, 'canChangeTabOnHover', 'zen.splitView.change-on-hover', false); XPCOMUtils.defineLazyPreferenceGetter(this, 'minResizeWidth', 'zen.splitView.min-resize-width', 7); + XPCOMUtils.defineLazyPreferenceGetter(this, '_edgeHoverSize', 'zen.splitView.rearrange-edge-hover-size', 24); ChromeUtils.defineLazyGetter( this,