Vincent van Ravesteijn - TNW schrieb:
This can be set via de listings-option
tabsize=4.
The default tabsize defined in the listings package is 8. This means we
should add tabsize=4 as a default option, but we have to make sure that
the user can override this. It is probably the best to add a widget to
the Main Settings of the Listings Setting that enables the user to
select this and which is by default 4.
Yes, you are right, this is the correct solution.
Just or information, I found btw. a crash bug in listings (independent of your
work I think):
http://bugzilla.lyx.org/show_bug.cgi?id=5287
regards Uwe
