Make settings change require button click, slight tweak to help non-javascript users, a=chris

Author Chris Pollett <chris@pollett.org>
Author date 2020-07-21 18:Jul:st
Author local date 2020-07-21 11:Jul:st -0700
Committer Chris Pollett <chris@pollett.org>
Committer date 2020-07-21 18:Jul:st
Committer local date 2020-07-21 11:Jul:st -0700
Commit 271df3e1e04e892baa14becd880bc85b72fb1880
Tree 5290b4ed5d8c04af045db541cb9d62fbf738681c
Parent 4403346e664f036091dd97992546ea521dc07a1b
Make settings change require button click, slight tweak to help non-javascript users, a=chris
Affected files:
src/css/search.css
src/views/elements/AdminmenuElement.php
src/views/elements/GroupmenuElement.php
src/views/elements/SearchmenuElement.php
ViewGit