mCRL2org/mCRL2

ltsgraph keeps refreshing with no graph layout enabled or user interaction

Opened this issue · 0 comments

The tool ltsgraph keeps refreshing the UI as quickly as possible without any user interaction or graph layout algorithm enabled. This issue did not occur on the previous release, and ltsview does not do this either. This problem also does not occur on Windows. (this now no longer seems to be the case). Issue reported by Kevin.