In version 0.21 there is an "Edit source" item in the "Tools" menu. This calls an external editor to edit the source. Hope this solves your use case.

Regards,

Jaap <[EMAIL PROTECTED]>



--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to