Make catchRecords independent of catchMenuStrings
Issue #217
resolved
Currently catchRecords is ignored if catchMenuStrings is 0.
Currently catchRecords is ignored if catchMenuStrings is 0.