Double click the title to change its text
These are versions of this script where the code was updated. Паказаць усе версіі.
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
