Spinroot

A forum for Spin users

You are not logged in.

#1 2011-11-06 19:42:35

awesan
Member
Registered: 2011-04-30
Posts: 45

configurable tab size for viewing models

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

#2 2011-11-06 19:45:31

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

Re: configurable tab size for viewing models

we can change the font to mono-space -- that's a good idea
but the treatment of tabs is determined by tcl/tk i think -- i can check though

Offline

Board footer

Powered by FluxBB