Thread:Arend/@comment-24634078-20180924145318

Regarding your edit to your Global.js here, you might be interested to know that there is now a Dev script for that very purpose which works even better than the code which you recently added. Maybe you'll find it helpful. Cheers! 