I just discovered that same issue, and though it didn't take me very long to figure it out, it would have been nice if double-clicking on the menubar would have the same consequences as double-clicking on the titlebar.
I just discovered that same issue, and though it didn't take me very long to figure it out, it would have been nice if double-clicking on the menubar would have the same consequences as double-clicking on the titlebar.