Put a rotate menu in gtk3GL.c