Closed Moon-0xff closed 1 year ago
This PR supersedes #21 (and #19 precedes #21)
It adds hints(tooltips) for certain options and other changes to prefs.js
prefs.js
I think we should use tooltips only when:
I think it's ready to merge
This PR supersedes #21 (and #19 precedes #21)
It adds hints(tooltips) for certain options and other changes to
prefs.js