On Friday, 9 August 2013 at 11:00:36 UTC, David wrote:
I'll look into kate. Can't promise anything due lack of time though. Butit's something I'd benefit directly from, so .. :-)I really hope this will work for Kdevelop, too!
After one minute of api docs: It's an interface to KTextEditor, so it should somehow :-)
