993789:restore previously open files on startup
1524155:replace doesnt give any feedback when replacing selection
1260023:hypersearch results does not lose focus on enter
1571629:file system browser filter does not work
1496191:pasting text should end current undoable Edit