I can seem to repeat the bug if I: - Open Safari - Install Verbal Juicer - Edit one of the plugins - Quit Safari whilst the code-editor is still open. When I r

I can seem to repeat the bug if I: - Open Safari - Install Verbal Juicer - Edit one of the plugins - Quit Safari whilst the code-editor is still open. When I reopen Safari and try and edit an extension, I just get "undefined".