Bo Peng wrote: >> I haven't been able to cause a problem after deleting these lines. The >> reason is that the InsetInclude::latex() routine just ignores the >> options, anyway, if we're not dealing with a listings include. The >> advantage to deleting them turns out to be that if you switch from >> "listings" to "verbatim" and then go back, your options re-appear. > I have not checked in details but the original idea is that when > option is set for listings, it remains there if we switch to another > type. This may or may not confuse users. Also, setOption may (not > sure) be called to set options for other types, although they will not > be used eventually. None of them have any options---at least, none that are handled that way. > > Because the 're-appearing' option seems to be a good thing to have, > you can remove them if you can not see any bad side-effect. OK.
Richard -- ================================================================== Richard G Heck, Jr Professor of Philosophy Brown University http://frege.brown.edu/heck/ ================================================================== Get my public key from http://sks.keyserver.penguin.de Hash: 0x1DE91F1E66FFBDEC Learn how to sign your email using Thunderbird and GnuPG at: http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto
