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. But >> it'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 :-)