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
Merged revision(s) 1139-1141 from branches/ticket_674: Implemented ticket #674
Implemented ticket #674 (combined with #433 and #434) "Multiple editor views"
Resolved a crash in implementation of ticket #674