diff options
| author | SpockMan02 <aidanboyle@comcast.net> | 2018-01-15 00:42:28 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-15 00:42:28 +0000 |
| commit | 2dd6ae6d4d7fbbfda11dc3753e2e203909d9d5d3 (patch) | |
| tree | 6a5a7cca5a30cbc54d58592e64b323ac76bf2fa1 /browser | |
| parent | 295aee74e489d25da8e5d3d5dcc5349fae1eaf73 (diff) | |
| download | palemoon-gre-2dd6ae6d4d7fbbfda11dc3753e2e203909d9d5d3.tar.gz | |
Removed unnecessary showTabPreviews function
It didn't seem to do any harm, but as it wasn't needed, it's probably best to remove it.
Diffstat (limited to 'browser')
| -rw-r--r-- | browser/components/preferences/tabs.js | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/browser/components/preferences/tabs.js b/browser/components/preferences/tabs.js index 530442a10..9e15d8bb4 100644 --- a/browser/components/preferences/tabs.js +++ b/browser/components/preferences/tabs.js @@ -76,16 +76,6 @@ var gTabsPane = { }, /** - * Determines whether or not tab previews will be shown when using Ctrl+Tab. - * - * @returns |true| if tab previews should be shown - */ - showTabPreviews: function() { - var showTabPreviews = document.getElementById("showTabPreviews"); - return showTabPreviews.value != 2; - }, - - /** * Determines the value of the New Tab display drop-down based * on the value of browser.newtab.url. * |