EditorSplitters: update shortcuts on keymap change
Database navbar extension
extract checkDisposed() with verbose reporting