I didn't include it, because OS X can already make the window full screen. Do you think it would be useful just to resize the window without creating a new desktop?