From 8640c31d7a29bcdcfe05c3c1c430f04db6a18440 Mon Sep 17 00:00:00 2001 From: "mr. m" <91018726+mr-cheffy@users.noreply.github.com> Date: Wed, 24 Dec 2025 22:43:35 +0100 Subject: [PATCH] Discard changes to src/browser/components/tabbrowser/content/tab-js.patch --- .../components/tabbrowser/content/tab-js.patch | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/src/browser/components/tabbrowser/content/tab-js.patch b/src/browser/components/tabbrowser/content/tab-js.patch index dd0edd05f..3f27154b7 100644 --- a/src/browser/components/tabbrowser/content/tab-js.patch +++ b/src/browser/components/tabbrowser/content/tab-js.patch @@ -1,5 +1,5 @@ diff --git a/browser/components/tabbrowser/content/tab.js b/browser/components/tabbrowser/content/tab.js -index 2dacb325190b6ae42ebeb3e9f0e862dc690ecdca..23b134a8ba674978182415a8bac926f7600f564a 100644 +index 2dacb325190b6ae42ebeb3e9f0e862dc690ecdca..02d70e9b0261f92917d274759838cfbfd6214f77 100644 --- a/browser/components/tabbrowser/content/tab.js +++ b/browser/components/tabbrowser/content/tab.js @@ -21,6 +21,7 @@ @@ -121,7 +121,15 @@ index 2dacb325190b6ae42ebeb3e9f0e862dc690ecdca..23b134a8ba674978182415a8bac926f7 on_click(event) { if (event.button != 0) { return; -@@ -587,6 +611,14 @@ +@@ -575,6 +599,7 @@ + ) + ); + } else { ++ gZenPinnedTabManager._removePinnedAttributes(this, true); + gBrowser.removeTab(this, { + animate: true, + triggeringEvent: event, +@@ -587,6 +612,14 @@ // (see tabbrowser-tabs 'click' handler). gBrowser.tabContainer._blockDblClick = true; } @@ -136,7 +144,7 @@ index 2dacb325190b6ae42ebeb3e9f0e862dc690ecdca..23b134a8ba674978182415a8bac926f7 } on_dblclick(event) { -@@ -610,6 +642,8 @@ +@@ -610,6 +643,8 @@ animate: true, triggeringEvent: event, });