renamed logging monitor checkbox to log-file checkbox
Authored by: holgerbrandl 2009-01-18
Parent: [r529]
Child: [r531]