• Fixed a bug where using enter in the search editor would not select the next match (#1801).
• Fixed a bug where using shift-enter in the search editor would not select the previous match (#1801). To type a newline in search, use ctrl-enter (or ctrl-shift-enter for a newline below).
• Fixed a bug where the terminal incorrectly highlighted certain strings as URLs (#1794).