Suggestion: Counterexample tabs should open to the right

VerifAPS / stvs

StructuredText Verification Studio

http://formal.iti.kit.edu/stvs

GNU General Public License v3.0

9 stars 0 forks source link

Closed mattulbrich closed 7 years ago

mattulbrich commented 7 years ago

Currently a counterexample tab is opened to the left of its specification.

I would expect it to open to the right (i.e., after or behind its spec).

Any opinions?

csicar commented 7 years ago

I agree. That would be more intuitive.