A forum for Spin users
You are not logged in.
It looks like "Edit/View" window that shows the model uses 8 spaces for tabs. I use tabs for indenting my PROMELA models. Though I use a different editor to edit the model, I tend to view the model in iSpin as I can click on file-name/line-number in the simulation output of error trails. It would be nice, if I can configure the tab size to 2 spaces so that the model will fit nicer within the window. If not through GUI dialog, a shell env variable or a command-line argument for iSpin would be very acceptable.
PS: Why is "Edit/View" window not using a mono-space font to show code? Is it an error or intentional to fit within space?
Offline