Default values (true, false) of de.itemis.mps.editor.bool are not used if there is no specified text - Githubissues

JetBrains / MPS-extensions

MPS-extensions aims to ease language development within MPS.

https://jetbrains.github.io/MPS-extensions/

Apache License 2.0

83 stars 52 forks source link

Default values (true, false) of de.itemis.mps.editor.bool are not used if there is no specified text #1040

Closed alexanderpann closed 1 day ago

alexanderpann commented 1 day ago

The show as empty text in the code completion menu.