"Leuven, E." <[EMAIL PROTECTED]> writes: > i would prefer a simple lineedit as with the document class options > and would expect people who use this functionality to read the > listings documentation. > > so i do not see the urgency of validating the input and duplicating > the documentation in a separate hints window. we don't do that with > the document options either.
+1 JMarc
