From 627c5ae9a1093140edf892c7749209367072cb47 Mon Sep 17 00:00:00 2001 From: Nelo Wallus Date: Fri, 8 Jan 2016 19:53:59 +0100 Subject: [PATCH] Add tabbartoggle, tabclosechildren, tabclosewithchildren --- plugins/contrib/treestyletabs.js | 35 ++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) diff --git a/plugins/contrib/treestyletabs.js b/plugins/contrib/treestyletabs.js index 9d3ef112..ece387c4 100644 --- a/plugins/contrib/treestyletabs.js +++ b/plugins/contrib/treestyletabs.js @@ -180,6 +180,41 @@ create_command_and_mapping( }, literal: 0, privateData: true + } + ); + +create_command_and_mapping( + "tabbartoggle", + "Toggle tab bar", + function () { + gBrowser.treeStyleTab.tabbarShown=!gBrowser.treeStyleTab.tabbarShown; }, "" ); + +create_command_and_mapping( + "tabclosechildren", + "Close children of current tab", + function () { + let tab = gBrowser.tabContainer.selectedItem; + let children = TreeStyleTabService.getDescendantTabs(tab); + for (let child in children) { + config.removeTab(children[child]); + } + }, + "" + ) + +create_command_and_mapping( + "tabclosewithchildren", + "Close children and current tab", + function () { + let tab = gBrowser.tabContainer.selectedItem; + let children = TreeStyleTabService.getDescendantTabs(tab); + for (let child in children) { + config.removeTab(children[child]); + } + config.removeTab(tab); + }, + "" + )