Child pages
  • What's new in MPS 2018.3 (draft)

Versions Compared

Key

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

...

  • First option just add all MPS tips to final distribution. This is default option for build script generated with wizard.
  • Second one required manually created folder with correct structure of tips and IdeTipsAndTricks.xml - correct structure can that can be obtained from mps-tips.jar itself. You need folder that contains html files, css and images folders.
  • Last option allows to use jetbrains.mps.build.tips and jetbrains.mps.core.xml languages to quickly create basic tips in MPS itself.

...