remove compatibility.ini; add .gitignore
[x_full.git] / .mozilla / firefox / default / extensions / {4476fef4-3557-40b5-afcd-d6903cf7cc9d} / defaults / preferences / prefs.js
1 # Hit-a-Hint default preferences
2
3 /* Do not edit this file.
4  *
5  * If you make changes to this file while the application is running,
6  * the changes will be overwritten when the application exits.
7  *
8  * To make a manual change to preferences, you can visit the URL about:config
9  * For more information, see http://www.mozilla.org/unix/customizing.html#prefs
10  */
11
12 pref("extensions.hah.enabled", true);
13 pref("extensions.hah.hideTabs", false);
14 pref("extensions.hah.hints.forceNumeric", false);
15 pref("extensions.hah.hints.style", "z-index:500;font:normal normal normal x-small helvetica;color:ButtonText;background-color:ButtonFace;border-color:ButtonShadow;border-width:1px;-moz-border-radius:0.3em;border-style:solid;padding:0px 3px 0px 3px;position:absolute;");
16 pref("extensions.hah.hints.styleFocus", "z-index:500;font:normal normal normal x-small helvetica;color:ButtonText;background-color:ButtonShadow;border-color:ButtonShadow;border-width:1px;-moz-border-radius:0.3em;border-style:solid;padding:0px 3px 0px 3px;position:absolute;");
17 pref("extensions.hah.hints.tags", "//*[@onclick or @onmouseover or @onmousedown or @onmouseup or @oncommand or @class='lk' or @class='s'] | //input[@type!='hidden'] | //a | //area | //iframe | //textarea | //button | //select");
18 pref("extensions.hah.keys.magicDelay", 150);
19 pref("extensions.hah.keys.numbers", "0123456789");