2007-03-22 10:30:00 -07:00
|
|
|
# -*- Mode: Java; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
|
|
|
|
# ***** BEGIN LICENSE BLOCK *****
|
|
|
|
# Version: MPL 1.1/GPL 2.0/LGPL 2.1
|
|
|
|
#
|
|
|
|
# The contents of this file are subject to the Mozilla Public License Version
|
|
|
|
# 1.1 (the "License"); you may not use this file except in compliance with
|
|
|
|
# the License. You may obtain a copy of the License at
|
|
|
|
# http://www.mozilla.org/MPL/
|
|
|
|
#
|
|
|
|
# Software distributed under the License is distributed on an "AS IS" basis,
|
|
|
|
# WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
|
|
|
|
# for the specific language governing rights and limitations under the
|
|
|
|
# License.
|
|
|
|
#
|
|
|
|
# The Original Code is the Firefox Preferences System.
|
|
|
|
#
|
|
|
|
# The Initial Developer of the Original Code is
|
|
|
|
# Ben Goodger.
|
|
|
|
# Portions created by the Initial Developer are Copyright (C) 2005
|
|
|
|
# the Initial Developer. All Rights Reserved.
|
|
|
|
#
|
|
|
|
# Contributor(s):
|
|
|
|
# Ben Goodger <ben@mozilla.org>
|
|
|
|
# Jeff Walden <jwalden+code@mit.edu>
|
|
|
|
#
|
|
|
|
# Alternatively, the contents of this file may be used under the terms of
|
|
|
|
# either the GNU General Public License Version 2 or later (the "GPL"), or
|
|
|
|
# the GNU Lesser General Public License Version 2.1 or later (the "LGPL"),
|
|
|
|
# in which case the provisions of the GPL or the LGPL are applicable instead
|
|
|
|
# of those above. If you wish to allow use of your version of this file only
|
|
|
|
# under the terms of either the GPL or the LGPL, and not to allow others to
|
|
|
|
# use your version of this file under the terms of the MPL, indicate your
|
|
|
|
# decision by deleting the provisions above and replace them with the notice
|
|
|
|
# and other provisions required by the GPL or the LGPL. If you do not delete
|
|
|
|
# the provisions above, a recipient may use your version of this file under
|
|
|
|
# the terms of any one of the MPL, the GPL or the LGPL.
|
|
|
|
#
|
|
|
|
# ***** END LICENSE BLOCK *****
|
|
|
|
|
|
|
|
var gTabsPane = {
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Preferences:
|
|
|
|
*
|
|
|
|
* browser.link.open_newwindow
|
|
|
|
* - determines where pages which would open in a new window are opened:
|
|
|
|
* 0 opens such links in the default window,
|
|
|
|
* 1 opens such links in the most recent window or tab,
|
|
|
|
* 2 opens such links in a new window,
|
|
|
|
* 3 opens such links in a new tab
|
2011-03-28 13:35:05 -07:00
|
|
|
* browser.tabs.autoHide
|
|
|
|
* - true if the tab bar is hidden when only one tab is open, false to always
|
|
|
|
* show it
|
2007-03-22 10:30:00 -07:00
|
|
|
* browser.tabs.loadInBackground
|
|
|
|
* - true if display should switch to a new tab which has been opened from a
|
|
|
|
* link, false if display shouldn't switch
|
|
|
|
* browser.tabs.warnOnClose
|
|
|
|
* - true if when closing a window with multiple tabs the user is warned and
|
|
|
|
* allowed to cancel the action, false to just close the window
|
|
|
|
* browser.tabs.warnOnOpen
|
|
|
|
* - true if the user should be warned if he attempts to open a lot of tabs at
|
|
|
|
* once (e.g. a large folder of bookmarks), false otherwise
|
2010-07-30 10:11:06 -07:00
|
|
|
* browser.taskbar.previews.enable
|
|
|
|
* - true if tabs are to be shown in the Windows 7 taskbar
|
2007-03-22 10:30:00 -07:00
|
|
|
*/
|
|
|
|
|
2010-07-30 10:11:06 -07:00
|
|
|
#ifdef XP_WIN
|
|
|
|
/**
|
|
|
|
* Initialize any platform-specific UI.
|
|
|
|
*/
|
|
|
|
init: function () {
|
|
|
|
const Cc = Components.classes;
|
|
|
|
const Ci = Components.interfaces;
|
|
|
|
try {
|
|
|
|
let sysInfo = Cc["@mozilla.org/system-info;1"].
|
|
|
|
getService(Ci.nsIPropertyBag2);
|
|
|
|
let ver = parseFloat(sysInfo.getProperty("version"));
|
|
|
|
let showTabsInTaskbar = document.getElementById("showTabsInTaskbar");
|
|
|
|
showTabsInTaskbar.hidden = ver < 6.1;
|
|
|
|
} catch (ex) {}
|
|
|
|
},
|
|
|
|
#endif
|
|
|
|
|
2007-03-22 10:30:00 -07:00
|
|
|
/**
|
|
|
|
* Determines where a link which opens a new window will open.
|
|
|
|
*
|
2008-09-22 12:23:12 -07:00
|
|
|
* @returns |true| if such links should be opened in new tabs
|
2007-03-22 10:30:00 -07:00
|
|
|
*/
|
|
|
|
readLinkTarget: function() {
|
2008-10-12 10:36:01 -07:00
|
|
|
var openNewWindow = document.getElementById("browser.link.open_newwindow");
|
|
|
|
return openNewWindow.value != 2;
|
2007-03-22 10:30:00 -07:00
|
|
|
},
|
|
|
|
|
|
|
|
/**
|
2008-10-12 10:36:01 -07:00
|
|
|
* Determines where a link which opens a new window will open.
|
2007-03-22 10:30:00 -07:00
|
|
|
*
|
|
|
|
* @returns 2 if such links should be opened in new windows,
|
|
|
|
* 3 if such links should be opened in new tabs
|
|
|
|
*/
|
|
|
|
writeLinkTarget: function() {
|
|
|
|
var linkTargeting = document.getElementById("linkTargeting");
|
2008-10-12 10:36:01 -07:00
|
|
|
return linkTargeting.checked ? 3 : 2;
|
2007-03-22 10:30:00 -07:00
|
|
|
}
|
|
|
|
};
|