we have to be very careful with InsetListings! If we add a half-baked
solution, people will be nagging all the time, i.e., we will be flooded
by countless bug reports ("Listing does not support this, Listing does
not support that").
I am using a list of string method to handle all listings options. It will be good to have something like qt designer peroperty editor but this listing method is much easier to implement. I still need some help from Abdel on this though. Bo
