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.