Implemented ticket #704 "Misleading typisation warning"
Fixed issue #707 "Possible data race crash"
First draft of the is_dir() and is_file() functions from ticket #669. Both the file that the function will be in and the exact logic of the methods and their return values are not final. Also documentation is missing so far.
Implemented ticket #705 "Force-close with SHIFT"
Implemented ticket #706 "Avoid empty history lines"
Fixed an issue in implementation of #674 Saving did move the focus from the editor.
Fixed a small issue in implementation of #681
Small fix on implementation of ticket #692
Deleted obsolete branch for ticket #674