Skip to content

#642 SeText no longer allows a shortcut to use itself

  • In SeText specifications, shortcuts may no longer use themselves. This prevents crashes in the SeText Text Editor and SeText Generator.
  • SeText type checker: fix JavaDoc parameter order.
  • Improve an SeText type checker message. Easier to read/understand.
  • Best to review per commit.

Closes #642 (closed)

Merge request reports