egui-pop-editors v0.1.0 — Text and code editors and a terminal for egui-pop: virtualised, themed, highlighted through a pluggable highlighter (syntect by default), a terminal over a PTY or a log conso