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

Hi, 

Is it possible to define different header styles with font-size proportional to the font-size defined in the MPS settings?

Thanks and best regards,

Etienne

3 comments

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:
2

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

0

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

Vaclav

 

1

Please sign in to leave a comment.