Implemented a basic search facility. Press Ctrl+F in an editor. TODO: - Search in auxiliary (= top) editor - Incremental search - Case insensitive, up, whole word, ...
Implemented a basic search facility. Press Ctrl+F in an editor.
TODO:
- Search in auxiliary (= top) editor
- Incremental search
- Case insensitive, up, whole word, ...

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast