MPohlVIC

I would like to add an "Insert Spaces for Tabs" option to the editor.

Feature/filechangewatcher

1

This pull request adds the feature to watch for external changes at the currently opened document. If the document is changed externally, the user is ask whether to reload from...

Check if map of custom shortcuts contains empty values before applying them

3

Default shortcut did not always work because map with custom shortcuts might contain entries with empty values. Not sure why there are entries without value at all. But this fixes...