Florian Bruhin 3c625790cc Don't crash if JS tab is closed twice. ... Fixes #906.		2016-01-20 21:24:51 +01:00
..
issue906.html	Don't crash if JS tab is closed twice.	2016-01-20 21:24:51 +01:00