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

Changed wiki search engine

Browse Source
This commit is contained in:
Martin Stubenschrott
2007-04-17 22:44:20 +00:00
parent 277eaa6eb9
commit aff207c1df
2 changed files with 11 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -88,11 +88,11 @@ var g_settings = [/*{{{*/
[
["focusedhintstyle", "fhs"],
"CSS specification of focused hints appearance",
null,
"The font (and size) is inherited from Firefox's prefences for Monospaced fonts. Change them in the GUI prefernce panel if necessary.",
function(value) { set_pref("focusedhintstyle", value); },
function() { return get_pref("focusedhintstyle"); },
"string",
"z-index:500;font:normal normal normal x-small monospace;color:ButtonText;background-color:ButtonShadow;border-color:ButtonShadow;border-width:1px;border-style:solid;padding:0px 1px 0px 1px;position:absolute;",
"z-index:500;font-family:monospace;font-size:12;color:ButtonText;background-color:ButtonShadow;border-color:ButtonShadow;border-width:1px;border-style:solid;padding:0px 1px 0px 1px;position:absolute;",
null,
null
],
@@ -132,11 +132,11 @@ var g_settings = [/*{{{*/
[
["hintstyle", "hs"],
"CSS specification of unfocused hints appearance",
null,
"The font (and size) is inherited from Firefox's prefences for Monospaced fonts. Change them in the GUI prefernce panel if necessary.",
function(value) { set_pref("hintstyle", value); },
function() { return get_pref("hintstyle"); },
"string",
"z-index:500;font:normal normal normal x-small monospace;color:black;background-color:yellow;border-color:ButtonShadow;border-width:0px;border-style:solid;padding:0px 0px 0px 0px;position:absolute;",
"z-index:500;font-family:monospace;font-size:12;color:black;background-color:yellow;border-color:ButtonShadow;border-width:0px;border-style:solid;padding:0px 0px 0px 0px;position:absolute;",
null,
null
],