zadam aa5ede5039 Merge branch 'stable'

2019-12-03 22:52:37 +01:00

..

advanced.js

keyboard shortcuts options pane

2019-11-20 21:35:18 +01:00

appearance.js

fix CSS loading from subdomain, #741

2019-12-03 22:13:02 +01:00

change_password.js

refactoring of legacy js events

2019-11-09 17:45:22 +01:00

code_notes.js

refactoring of legacy js events

2019-11-09 17:39:48 +01:00

keyboard_shortcuts.js

added shortcut filter in the options dialog

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

other.js

this input is text (#719)

2019-11-24 10:44:09 +01:00

sidebar.js

fixed sidebar switch in the options dialog

2019-11-26 20:46:49 +01:00

sync.js

keyboard shortcuts options pane

2019-11-20 21:35:18 +01:00