add setting to temporarily override ignorecase

fixes #134