In the WP editor there is a full screen button. It has shortcut
When the button is pressed it shows a different full screen editor then when the shortcut is used.
I tried this on multiple 3.4.1 installations, one of them had no plugins to interfere.
Why is this?
EDIT its a bug: http://core.trac.wordpress.org/ticket/21197