#118, #1154 Link compiler errors to editor.#1275

Merged

kittaakos merged 2 commits intomainfrom

Aug 15, 2022

Commits on Aug 15, 2022

Link compiler errors to editor.
Akos Kitta
committed
Close core error notification on subsequent action
Akos Kitta
committed