Skip to content

#642 SeText no longer allows a shortcut to use itself

Dennis Hendriks requested to merge 642-setext-generator-crashes-on-shortcuts-that-use-itself into develop
  • 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

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent