Defining header styles with font-size proportional to the font-size defined in the settings?

Hi Etienne,

There is such way:

1. For property you need to have proportional size font 
2. Open inspector (Alt+2) and modify font-size in Style using jetbrains.mps.nodeEditor.EditorSettings (you can import model with EditorSettings root by Ctrl+R)Where EditorSettings.getInstance().getFontSize() current editor font size defined in setting.
3. Result will be something like this:

Is the suggestion above still valid? Can't access EditorSettings from style query. Does it require additional configuration?

You have to import the model that contains EditorSettings (j.m.nodeEditor). Use Control + R as a shortcut.

Vaclav