Added the find panel to the editor windows, and fixed problem where cursor position was only updated correctly in the source window. (#32)

Co-authored-by: Peter Villadsen <petervilladsen@hotmail.com>

This commit is contained in:

Peter Villadsen

2020-04-17 17:55:18 -07:00

коммит произвёл

GitHub

Родитель a0755d228b

Коммит baafeabbf1

Не найден ключ, соответствующий данной подписи

Идентификатор ключа GPG: 4AEE18F83AFDEB23