Hi all. I've found a problem with delete-editor command. It seems to crash Python (and so Leo closes, without saving the modifications or anything) when I try to close an editor for the third time during an execution of the editor.
Steps to reproduce: 1. Open a .leo file with some content in it. 2. Click the minibuffer and run add-editor command. 3. Click the minibuffer and run delete-editor command. 4. Click the minibuffer and run add-editor command. 5. Click the minibuffer and run delete-editor command. 6. Click the minibuffer and run add-editor command. 7. Click the minibuffer and run delete-editor command. Python crashes after this last delete-editor command execution. Regards, Morgul -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
