NO EDIT BUTTON
Also, while I'm here, I'm having client-side sound problems. Sound will work great for awhile, then for some reason sounds are replaced with seemingly random sounds. i.e. The jump sound is replaced with the portal song, or the place brick sound is replaced with the gun fire sound. It's really annoying and I don't know how to fix it, though, most of the time, minimizing it and re-opening it works. I have mute sound when minimized enabled.