tophf 8d3e01e05a shuffle and tidy up options (#1406) ... * move updates/sync to the top, theme to the bottom * remove font override * replace 'Back to manage' with 'Close' * add a note for the built-in shortcuts UI in FF - update button + confirm reset * one button to connect/disconnect * shorten ids * simplify/extract sync js * reuse :invalid style		2022-02-18 03:47:22 +03:00
..
messages.json	shuffle and tidy up options (#1406)	2022-02-18 03:47:22 +03:00