re: #110 ggt

There is no green button. Only the red an yellow are colored. Where the green one would be it is a gray circle.

Those dastardly user-interface-breaking programmers!

I’m out of suggestions I’m afraid…