From dd8a104863b09dbd409715146b94c45a241873cc Mon Sep 17 00:00:00 2001 From: traxium Date: Thu, 25 Jun 2020 12:34:49 +0700 Subject: [PATCH] #239 Add 'Reload' for 'Double click on tab:' option --- bootstrap.js | 4 +++- locale/en-US/options.dtd | 3 ++- locale/fr-FR/options.dtd | 1 + locale/pl-PL/options.dtd | 1 + locale/ru-RU/options.dtd | 3 ++- options.xul | 1 + 6 files changed, 10 insertions(+), 3 deletions(-) diff --git a/bootstrap.js b/bootstrap.js index 48d02dc..1e4e98c 100644 --- a/bootstrap.js +++ b/bootstrap.js @@ -144,7 +144,7 @@ function startup(data, reason) Services.prefs.getDefaultBranch(null).setBoolPref('extensions.tabtree.treelines', true); // setting default pref Services.prefs.getDefaultBranch(null).setIntPref('extensions.tabtree.highlight-unloaded-tabs', 0); // setting default pref - Services.prefs.getDefaultBranch(null).setIntPref('extensions.tabtree.dblclick', 0); // setting default pref // 0 - No action, 1 - Close tab, 2 - Pin tab + Services.prefs.getDefaultBranch(null).setIntPref('extensions.tabtree.dblclick', 0); // setting default pref // 0 - No action, 1 - Close tab, 2 - Pin tab, 3 - Reload Services.prefs.getDefaultBranch(null).setIntPref('extensions.tabtree.middle-click-tabbar', false); // #36 (Middle click on empty space to open a new tab) Services.prefs.getDefaultBranch(null).setIntPref('extensions.tabtree.delay', 0); // setting default pref Services.prefs.getDefaultBranch(null).setIntPref('extensions.tabtree.position', 1); // setting default pref // 0 - Left, 1 - Right @@ -2846,6 +2846,8 @@ var windowListener = { } else { g.pinTab(tab); } + } else if (pref === 3) { + g.reloadTab(tab); } }; diff --git a/locale/en-US/options.dtd b/locale/en-US/options.dtd index 3dc75ec..af43aae 100644 --- a/locale/en-US/options.dtd +++ b/locale/en-US/options.dtd @@ -17,10 +17,11 @@ - + + diff --git a/locale/fr-FR/options.dtd b/locale/fr-FR/options.dtd index 7fce0d3..237ecff 100644 --- a/locale/fr-FR/options.dtd +++ b/locale/fr-FR/options.dtd @@ -21,6 +21,7 @@ + diff --git a/locale/pl-PL/options.dtd b/locale/pl-PL/options.dtd index b7172c5..fa7e99f 100644 --- a/locale/pl-PL/options.dtd +++ b/locale/pl-PL/options.dtd @@ -21,6 +21,7 @@ + diff --git a/locale/ru-RU/options.dtd b/locale/ru-RU/options.dtd index 4614f37..7c416e5 100644 --- a/locale/ru-RU/options.dtd +++ b/locale/ru-RU/options.dtd @@ -17,10 +17,11 @@ - + + diff --git a/options.xul b/options.xul index 0437f03..b8fa59f 100644 --- a/options.xul +++ b/options.xul @@ -38,6 +38,7 @@ +