Spinroot

A forum for Spin users

You are not logged in.

#1 2011-11-07 17:14:12

spinroot
forum
Registered: 2010-11-18
Posts: 695
Website

glitch in ispin 1.0.6 -- that you can easily fix

There is a small glitch in the current version of iSpin that makes it very difficult to see basic statements in message sequence charts during simulations.
The text is printed white on an off-white background, which doesn't really work well.
You notice this when you enable the "MSC+stmnt" checkbox in the Simulate/Replay panel -- which then appears to leave weird gaps in the message sequence charts that appear.
The fix is very easy to make:
Open the file ispin.tcl (or /usr/bin/ispin) in an editor and on line 6132 (in proc put_msc) change the current line:
       set tcol white
into:
       set tcol black
and it's fixed.
Will also apper in the next release of ispin 1.0.7.

Offline

Board footer

Powered by FluxBB