diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2021-01-14 21:33:41 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-14 21:33:41 -0500 |
commit | 29b6c98e9fa31e2397986bf0750f4b696a0051d5 (patch) | |
tree | 9b2f2493fbaee404ab369a880da153f7dd425ad7 /ext/bg/js/text-source-map.js | |
parent | a97fbcde83dbafb147e936ff1ca720afab3bdc0a (diff) |
Clarify some settings descriptions (#1238)
* Clarify the meaning of the 'None' option; rename to 'No key'
* Clarify Auto-hide search popup
* Clarify Scan delay
* Move Support inputs for devices with touch screens; make advanced
Diffstat (limited to 'ext/bg/js/text-source-map.js')
0 files changed, 0 insertions, 0 deletions