Double click the title to change its text
Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.
Rewrite to much simpler prompt() approach, for not to have to deal with any workarounds whatsoever.
workaround for https://bugzilla.mozilla.org/show_bug.cgi?id=1291467
