Help extending the editor - add a move line up/down edit function?

Hey Chrisir - Thanks. Nice idea. I am looking into it - looking thru the existing tools java code. Do you know if there is an API for “tools” that has hooks into the editor? Is the tools API documented?