|
|
@ -760,11 +760,14 @@ public final class SearchEvent {
|
|
|
|
Iterator<String> i = fcts.iterator();
|
|
|
|
Iterator<String> i = fcts.iterator();
|
|
|
|
while (i.hasNext()) {
|
|
|
|
while (i.hasNext()) {
|
|
|
|
String ext = i.next();
|
|
|
|
String ext = i.next();
|
|
|
|
if (TextParser.supportsExtension(ext) != null && !Classification.isAnyKnownExtension(ext)) {
|
|
|
|
if (this.query.contentdom == ContentDomain.TEXT) {
|
|
|
|
|
|
|
|
if ((Classification.isImageExtension(ext) && this.excludeintext_image) ||
|
|
|
|
|
|
|
|
(TextParser.supportsExtension(ext) != null && !Classification.isAnyKnownExtension(ext))) {
|
|
|
|
//Log.logInfo("SearchEvent", "removed unknown extension " + ext + " from navigation.");
|
|
|
|
//Log.logInfo("SearchEvent", "removed unknown extension " + ext + " from navigation.");
|
|
|
|
i.remove();
|
|
|
|
i.remove();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|
|
|
|
this.filetypeNavigator.inc(fcts);
|
|
|
|
this.filetypeNavigator.inc(fcts);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|