Improvements for this version: 1. Tweaks to built-in stylesheets. 2. Freewin window is deleted properly when host node is deleted.
#2 is a substantial improvement. Before this version, the situation where the underlying node was deleted was not handled at all. Deletion of the node could cause Leo to crash, especially if the node was later restored with a *redo* operation. Now if the host node is deleted, the plugin detects this and unloads itself in a controlled way. -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/7bbf7a9b-5779-40f6-9e13-81e4ac91ed20n%40googlegroups.com.
