4 commits

Author	SHA1	Message	Date
Andreas Kling	272c59e6d8	HackStudio: Remove unnecessary Locator::keydown_event()	2019-10-28 19:08:48 +01:00
Andreas Kling	990ca1a7a5	HackStudio: Allow opening a Locator suggestion by double-clicking it	2019-10-28 19:08:48 +01:00
Andreas Kling	29ac3e1477	HackStudio: Scroll the locator suggestions when navigating with arrows	2019-10-28 19:08:48 +01:00
Andreas Kling	b4de5ac128	HackStudio: Start working on a "Locator", much like Qt Creator has ... Pressing Ctrl+K will now open the little locator command line at the bottom of the window. Right now it can only be used to jump quickly to a file.	2019-10-28 19:08:48 +01:00