Description Mark Macdonald 2011-11-17 18:00:22 EST

Orion 0.3

1. Open an HTML file in the editor.
2. Press Ctrl+Shift+R, type in the name of some other file dialog, then click on one of the results.
3. The editor will load the file you clicked. However, there's also a TypeError generated:

> TypeError
>   arguments: Array[2]
>     0: "destroy"
>     1: TextMateStyler
>   type: "undefined_method"

This is from the editor trying to destroy the old styler. It fails because TextMateStyler doesn't implement destroy(). This leaks 1 TextMateStyler instance each time.

All the stylers must implement destroy(). Listening to a "Destroy" event on the underlying TextView is not enough, because the editor reuses a single TextView as different files are loaded.