[MC-53244] Exiting fullscreen with F11 doesn't update the switch in the options menu

After I exit fullscreen mode by pressing the F11 key, the "Fullscreen" option in the video settings menu still says "ON", and I have to turn it off (which does nothing), and then turn it back on to make Minecraft go fullscreen.

Environment

Mac OS X 10.8.5, tested on OpenJDK 1.6, 1.7, and 1.8 and Apple JDK 1.6

Linked issues

duplicates 1

MC-229 The fullscreen/windowed mode toggle status is inconsistent when using hotkeys Resolved

Comments 2

migrated 2014-04-21T08:43:31Z

Duplicate of MC-229 - If you have not, please use the search function in the future, to see if your bug has already been submitted. If you could not find the original report, please comment with the keywords you searched for.

migrated 2014-04-21T17:17:01Z

Sorry, I searched and didn't find that. I searched for "F11 exit fullscreen"