gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-03-02 16:55:45 +01:00
Code Issues Projects Releases Wiki Activity

Added Ctrl-[ alias, and 's' guioption

Browse Source
This commit is contained in:
Martin Stubenschrott
2007-04-16 23:31:55 +00:00
parent 6797ee2cfb
commit 849789d23d
9 changed files with 13 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
chrome/content/vimperator/settings.js
View File

@@ -110,7 +110,7 @@ var g_settings = [/*{{{*/
[
["guioptions", "go"],
"Shows or hides the menu, toolbar and scrollbars",
"Supported characters:<br><ul><li><b>m</b>: menubar</li><li><b>T</b>: toolbar</ul>",
"Supported characters:<br><ul><li><b>m</b>: menubar</li><li><b>T</b>: toolbar<li><b>b</b>: bookmark bar</li><li><b>s</b>: original Firefox statusbar</ul>",
function(value) { set_pref("guioptions", value); set_guioptions(value); },
function() { return get_pref("guioptions"); },
"charlist",
@@ -334,8 +334,8 @@ function set_guioptions(value)
document.getElementById("PersonalToolbar").collapsed = value.indexOf("b") > -1 ? false : true;
document.getElementById("PersonalToolbar").hidden = value.indexOf("b") > -1 ? false : true;
// and original status bar (default), but show it, e.g. when needed for extensions
document.getElementById("status-bar").collapsed = value.indexOf("S") > -1 ? false : true;
document.getElementById("status-bar").hidden = value.indexOf("S") > -1 ? false : true;
document.getElementById("status-bar").collapsed = value.indexOf("s") > -1 ? false : true;
document.getElementById("status-bar").hidden = value.indexOf("s") > -1 ? false : true;
}
function set_showtabline(value)