Don't load the terminal when there is no document

espruino / EspruinoTools

JavaScript library of tools for Espruino - used for the Web IDE, CLI, etc.

Apache License 2.0

150 stars 89 forks source link

Closed mariusGundersen closed 9 months ago

mariusGundersen commented 9 months ago

This fixes a problem with using this in VSCode extensions.

I'm not sure if the other condition is really needed or if this one covers it, so I've kept it just in case.

gfwilliams commented 9 months ago

Thanks!

mariusGundersen commented 9 months ago

Thanks for merging, do you mind publishing this to npm?

gfwilliams commented 9 months ago

Just done!