OK, thanks for the clarification.
OK, thanks for the clarification.
OK, thanks, that did the trick.
However, I do not recall editing the offending JS file in the Source tab. I have learned already to refrain from editing the source so I tend not to work there.
In any case, problem solved for now, will report more if I can reproduce.
Thanks for your help.