mCRL2 icon indicating copy to clipboard operation
mCRL2 copied to clipboard

ltsgraph keeps refreshing with no graph layout enabled or user interaction

Open mlaveaux opened this issue 1 year ago • 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.

mlaveaux avatar Sep 11 '23 11:09 mlaveaux