<div>Hi,</div>
<div>Here is a patch, which add 'leave-fullscreen' action to hotkey module. Default key to leave fullscreen mode is Escape.</div>