>> What would you change it to? I've implemented a GUI toolkit from scratch a couple times, and text editing was the hardest part by far.
I have no idea. The biggest problem with it now is that it's not resizable. We could use pango or something to render text at different sizes but that'd be a new dependency.
Also forgot: we do use a platform specific text entry widget.
Also2: when I say "we" I mean the previous maintainer did all the cross platform code. Since then it just works.
What would you change it to? I've implemented a GUI toolkit from scratch a couple times, and text editing was the hardest part by far.