Michael Schmitt wrote: > Dear Lars, > >> No way. >> >> Something like "^[^#]*Submenu" might be acceptable though. > > I can confirm that your second proposal with [[:space:]] works correctly. > > A new patch is attached. Ok? Or shall I also test the version above? > > Michael
I think you should try Lars suggestion, because that makes it explicitly clear that commented out entries will be ignored. -- Angus
