Bug 667607 (タブを閉じた時の隙間を埋める)

[userChromeJS] タブを閉じた時、タブバーの右端に生じる隙間をすぐに埋めます。 (Firefox 4 の機能)

目前為 2023-04-16 提交的版本，檢視最新版本。

安裝腳本 ?

換行

// ==UserScript==
// @name        Bug 667607 (タブを閉じた時の隙間を埋める)
// @name:en     Bug 667607 (Fill the tab bar after closing a tab)
// @namespace   https://userscripts.org/users/347021
// @version     1.2.0
// @description [userChromeJS] タブを閉じた時、タブバーの右端に生じる隙間をすぐに埋めます。 (Firefox 4 の機能)
// @description:en [userChromeJS] Resize tabs to fill the tab bar immediately after closing a tab (Firefox 4 feature).
// @include     main
// @license     CC-BY-4.0
// @contributionURL https://www.amazon.co.jp/registry/wishlist/E7PJ5C3K7AM2
// @incompatible Edge
// @compatible  Firefox userChromeJS用スクリプト です (※GreasemonkeyスクリプトでもuserChromeES用スクリプトでもありません) / This script is for userChromeJS (* neither Greasemonkey nor userChromeES)
// @incompatible Opera
// @incompatible Chrome
// @author      100の人
// @homepageURL https://greasyfork.org/scripts/267
// ==/UserScript==

(function () {
'use strict';

gBrowser.removeTab = new Proxy(gBrowser.removeTab, {
	apply(func, tabbrowser, argumentList)
	{
		const aParams = argumentList[1];
		if (aParams?.triggeringEvent?.mozInputSource === MouseEvent.MOZ_SOURCE_MOUSE) {
			aParams.triggeringEvent
				= new aParams.triggeringEvent.constructor(aParams.triggeringEvent.type, aParams.triggeringEvent);
		}
		Reflect.apply(func, tabbrowser, argumentList);
	},
});

})();