new action "toggle visible whitespace" (not persisted)
new action "hide/show navigator" (Key: F2, persisted)
Merge branch 'master' of github.com:scripted-editor/scripted
remove debug