On Mon, 4 Apr 2022, at 10:12, Strainu wrote:
Thank you for your responses folks. The script is a gaget [1], loaded
and unloaded through the preferences.
Regards,
Strainu
This page has a history of two revisions, both 25 Mar, about 10 minutes apart.
Is the reported issue that its last edit [1] was seemingly not applied for some editors? E.g. they kept getting the previous version with the getElementByID error?
-- Krinkle