Declare @NotNullresult for EditorWidget.getKeymap()
PLGEDT-42 fix case in the editor info bar
PLGEDT-42 editor info bar: regular spacing
Merge pull request #192 from mleduque/PLGEDT-42

PLGEDT- 42 visual fixes for jseditor info bar