.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");