add a persistent button to the corner of the scripting area. gui.js:1198 (?) currently seems buggy