Bugfix #1149. Using filteringCaseSensitive option in editor. Missing file.