Jürgen Spitzmüller wrote: > The attached simple patch fixes the following: > > - Open the listings dialog and type in some unknown command: OK button is > greyed out (correct) > - now click "pass validation": OK button is activated (correct) > - uncheck "pass validation" again: OK button still activated (wrong). > > Same for Document and Include dialogs. > > OK to go in?
OK A/
