diff options
| author | SpockMan02 <aidanboyle@comcast.net> | 2018-01-14 22:50:55 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-14 22:50:55 +0000 |
| commit | 10d74de4de60747e33f3be4ec1c235c70158f869 (patch) | |
| tree | 2ff7a271e2862ff2e3e9ad546949fc5c29db7923 /browser | |
| parent | e335a9f6f455835e6c850417f84397a7e692ea39 (diff) | |
| download | palemoon-gre-10d74de4de60747e33f3be4ec1c235c70158f869.tar.gz | |
Added function for a showTabPreviews pref
Follows same structure as readLinkTarget
Diffstat (limited to 'browser')
| -rw-r--r-- | browser/components/preferences/tabs.js | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/browser/components/preferences/tabs.js b/browser/components/preferences/tabs.js index 9e15d8bb4..530442a10 100644 --- a/browser/components/preferences/tabs.js +++ b/browser/components/preferences/tabs.js @@ -76,6 +76,16 @@ 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. * |