From 1dc39bed26e6798ecd0a89b7e6a540439ffc44b0 Mon Sep 17 00:00:00 2001
From: brahim <92426196+BrhmDev@users.noreply.github.com>
Date: Mon, 16 Sep 2024 04:09:59 +0200
Subject: [PATCH] Add zen.splitView.min-resize-width pref

---
 src/ZenViewSplitter.mjs | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/src/ZenViewSplitter.mjs b/src/ZenViewSplitter.mjs
index e3c6dc9..6d8776e 100644
--- a/src/ZenViewSplitter.mjs
+++ b/src/ZenViewSplitter.mjs
@@ -3,7 +3,6 @@ var gZenViewSplitter = new (class {
     this._data = [];
     this.currentView = -1;
     this._tabBrowserPanel = null;
-    this._minAdjustmentWidth = 7;
     this.__modifierElement = null;
     this.__hasSetMenuListener = false;
 
@@ -172,6 +171,10 @@ var gZenViewSplitter = new (class {
     return this._tabBrowserPanel;
   }
 
+  get minResizeWidth() {
+    return Services.prefs.getIntPref('zen.splitView.min-resize-width');
+  }
+
   /**
    * Splits a link in a new tab.
    */
@@ -488,15 +491,15 @@ var gZenViewSplitter = new (class {
 
         const currentSize = splitData[dimension][gridIdx - 1];
         const neighborSize = splitData[dimension][gridIdx];
-        if (currentSize < this._minAdjustmentWidth && neighborSize < this._minAdjustmentWidth) {
+        if (currentSize < this.minResizeWidth && neighborSize < this.minResizeWidth) {
           return;
         }
         let max = false;
-        if (currentSize + percentageChange < this._minAdjustmentWidth) {
-          percentageChange = this._minAdjustmentWidth - currentSize;
+        if (currentSize + percentageChange < this.minResizeWidth) {
+          percentageChange = this.minResizeWidth - currentSize;
           max = true;
-        } else if (neighborSize - percentageChange < this._minAdjustmentWidth) {
-          percentageChange = neighborSize - this._minAdjustmentWidth;
+        } else if (neighborSize - percentageChange < this.minResizeWidth) {
+          percentageChange = neighborSize - this.minResizeWidth;
           max = true;
         }
         splitData[dimension][gridIdx - 1] += percentageChange;