Menu Button on windows is inconsistently updated
When I press the window menu button in the upper left of a window and choose some of the items, like
"Always on Visible Workspace" or
"Roll Window Up" or
"Roll Window Down",
the pressed state goes back to unpressed immediately. I expect this.
When I choose other menu items, like
"Always on Top" or
"Minimize Other Windows",
the state stays the same--the button remains pressed (until I mouse-over the button). I think this is inconsistent, and consider it a (very minor) bug.

issue