Fullscreen editor. F11 key.
Filecontent panel style.
Added two new attributes to MenuEntry: badgeText and badgeColor.