// Copyright (c) 2006-2008 by Martin Stubenschrott <stubenschrott@vimperator.org>
// Copyright (c) 2007-2011 by Doug Kearns <dougkearns@gmail.com>
-// Copyright (c) 2008-2012 Kris Maglione <maglione.k@gmail.com>
+// Copyright (c) 2008-2013 Kris Maglione <maglione.k@gmail.com>
//
// This work is licensed for reuse under an MIT license. Details are
// given in the LICENSE.txt file included with this file.
this.statusBar = document.getElementById("addon-bar") || this._statusLine;
this.baseGroup = this.statusBar == this._statusLine ? "StatusLine " : "";
+ if (config.haveGecko("25"))
+ config.tabbrowser.getStatusPanel().hidden = true;
+
if (this.statusBar.localName == "toolbar") {
styles.system.add("addon-bar", config.styleableChrome, literal(/*
#status-bar { margin-top: 0 !important; }
url = _("buffer.noName");
}
else {
- url = url.replace(RegExp("^dactyl://help/(\\S+)#(.*)"), function (m, n1, n2) n1 + " " + decodeURIComponent(n2) + " " + _("buffer.help"))
+ url = url.replace(RegExp("^dactyl://help/(\\S+)#(.*)"), (m, n1, n2) => n1 + " " + decodeURIComponent(n2) + " " + _("buffer.help"))
.replace(RegExp("^dactyl://help/(\\S+)"), "$1 " + _("buffer.help"));
}
updateTabCount: function updateTabCount(delayed) {
if (dactyl.has("tabs")) {
if (delayed) {
- this.timeout(function () this.updateTabCount(false), 0);
+ this.timeout(() => { this.updateTabCount(false); }, 0);
return;
}
* @param {number} percent The zoom level, as a percentage. @optional
* @param {boolean} full True if full zoom is in operation. @optional
*/
- updateZoomLevel: function updateZoomLevel(percent, full) {
- if (arguments.length == 0)
- [percent, full] = [buffer.zoomLevel, buffer.fullZoom];
-
+ updateZoomLevel: function updateZoomLevel(percent=buffer.zoomLevel, full=buffer.fullZoom) {
if (percent == 100)
this.widgets.zoomlevel.value = "";
else {