Jump to source location from result panel

ocadaruma / tlaplus-intellij-plugin

Intellij plugin for TLA+ formal specification language.

Apache License 2.0

52 stars 2 forks source link

Jump to source location from result panel #3

Open ocadaruma opened 3 years ago

ocadaruma commented 2 years ago

Basically done. (jump from error trace and coverage stats)

Remaining thing is jump from error-output when source-location is in error message, but I don't plan to implement now. Will re-open when it becomes necessary.

ocadaruma commented 2 years ago

Remaining thing is jump from error-output when source-location is in error message

Hm, looks better to have when I see such error..