Files
openide/platform/editor-ui-api
Dmitry Batrak cb93a73770 Add an extension point implementing gutter icons merging
also adjust calculation of initial icon are width, to avoid gutter 'jumping' (for icon sizes up to 17px)
2016-04-29 19:54:04 +03:00
..