zadam 7877443fb4 Merge branch 'stable'

2020-01-11 09:41:42 +01:00

..

advanced.js

run consistency checks on demand

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

appearance.js

added option to enable native title bar (disabled by default)

2019-12-24 12:10:32 +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

Merge branch 'stable'

2020-01-11 09:41:42 +01:00

sidebar.js

removed left and right sidebar sizing options

2019-12-23 19:45:59 +01:00

sync.js

hide/show button z-index tweak

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