Fix mouse hovers overriding typing in the symbol search field#308

encounter merged 1 commit intoencounter:mainencounter/objdiff:mainfrom

LagoLunatic:symbol-hoverLagoLunatic/objdiff:symbol-hoverCopy head branch name to clipboard