zadam 37255243f7 allow user to see their username in the options #934

2020-03-28 19:55:02 +01:00

..

advanced.js

run consistency checks on demand

2019-12-10 22:03:00 +01:00

appearance.js

fix zen mode

2020-03-01 19:16:30 +01:00

code_notes.js

refactored access to options on frontend

2020-02-05 22:08:45 +01:00

credentials.js

allow user to see their username in the options #934

2020-03-28 19:55:02 +01:00

keyboard_shortcuts.js

added shortcut filter in the options dialog

2019-11-24 20:20:13 +01:00

other.js

use electron 8 spellchecker instead of electron-spellchecker, WIP

2020-02-28 22:07:08 +01:00

sync.js

hide/show button z-index tweak

2020-01-04 09:21:42 +01:00