diff options
| author | psvenk <45520974+psvenk@users.noreply.github.com> | 2020-05-16 12:36:57 -0400 |
|---|---|---|
| committer | Jack Rosenthal <jack@rosenth.al> | 2020-05-22 13:17:19 -0600 |
| commit | 1712b0a97b8c3019284060026d8f3fd6cba8bdf2 (patch) | |
| tree | 2e96ec480a432ad24bbc091dbc54fc8c1cfc7369 | |
| parent | 67baa7b60c207a95060fc580e9c945316069718f (diff) | |
| download | pentadactyl-1712b0a97b8c3019284060026d8f3fd6cba8bdf2.tar.gz | |
Fix parse error in options.xml
The 'showhinttext' option does not get included in options.dtd, so
options.xml had a parse error which prevented it from being accessible
from :help, so the type and default value of this option have been
hard-coded into options.xml.
| -rw-r--r-- | common/content/hints.js | 1 | ||||
| -rw-r--r-- | common/locale/en-US/options.xml | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/common/content/hints.js b/common/content/hints.js index f40e42d7..eb10fec7 100644 --- a/common/content/hints.js +++ b/common/content/hints.js @@ -1364,6 +1364,7 @@ var Hints = Module("hints", { options.add(["showhinttext"], "Enables or disables showing hints' related texts", + // Make sure to update the docs when you change this. "boolean", true); options.add(["hinttags", "ht"], diff --git a/common/locale/en-US/options.xml b/common/locale/en-US/options.xml index af2df8d9..19533bfa 100644 --- a/common/locale/en-US/options.xml +++ b/common/locale/en-US/options.xml @@ -956,8 +956,8 @@ <item> <tags>'noshowhinttext' 'showhinttext'</tags> <spec>'hinttext'</spec> - <type>&option.showhinttext.type;</type> - <default>&option.showhinttext.default;</default> + <type>boolean</type> + <default>true</default> <description> <p> Determines if hints should show accompanying description texts |