Child pages
  • What's New in 2021.1

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

(draft)

Zoom feature in editor

Font size can be quickly adjusted in the currently open editor window by holding Control and rolling the mouse wheel. Font size is not persistent so when the file is re-opened the text size is reset to the default value. You can enable/disable the feature in settings in the Editor / General section: Change font size with Ctrl+Mouse Wheel.

https://youtrack.jetbrains.com/issue/MPS-25455

Improved access to $LOOP$ macro variables

...