• Fixed an issue where holding down certain keys did not work in a terminal.
• Fixed an issue where the terminal did not scroll to the bottom when typing.
• Fixed a crash when closing a window while in full-screen mode (#453)
• Fixed an issue where go-to-definition links would incorrectly appear when selecting with the mouse (#440)
• Fixed a regression where the search query did not get focus when opening a project search.