Sorry, the feature is not implemented yet. It's in my to-do list. I'm moving it to the top of the list, so it should be implemented in the next release.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
hi marc,
again: thanks for this great editor! it is well designed and the implement features are thoose I really need.
is there a way to kill a running (tool-) process? the ability to break a larger build would be nice.
bye
holger
Sorry, the feature is not implemented yet. It's in my to-do list. I'm moving it to the top of the list, so it should be implemented in the next release.
That's fine! Thanks