Filter accepts RegExp and primitive search sequences.

src/_h5ai/js/inc/Finder.js

@@ -38,6 +38,18 @@
 					$filter.removeClass('current');
 				}
 			},
+			parseFilterSequence = function (sequence) {
+
+				if (sequence.substr(0,3) === 're:') {
+					return new RegExp(sequence.substr(3));
+				}
+
+				sequence = $.map($.trim(sequence).split(/\s+/), function (part) {
+
+					return H5AI.util.reEscape(part);
+				}).join('|');
+				return new RegExp(sequence);
+			},
 			init = function () {
 
 				if (H5AI.core.settings.showFilter) {
@@ -63,7 +75,7 @@
 									val = $input.val();
 
 								if (val) {
-									filter(new RegExp(val));
+									filter(parseFilterSequence(val));
 								} else {
 									filter();
 								}

src/_h5ai/js/inc/Util.js

@@ -100,6 +100,10 @@
 					return decodeURI(uri);
 				} catch (err) {}
 				return uri;
+			},
+			reEscape = function (sequence) {
+
+				return sequence.replace(/[-[\]{}()*+?.,\\^$|#\s]/g, '\\$&');
 			};
 
 		return {
@@ -108,7 +112,8 @@
 			getAbsHref: getAbsHref,
 			parseSize: parseSize,
 			formatSize: formatSize,
-			checkedDecodeUri: checkedDecodeUri
+			checkedDecodeUri: checkedDecodeUri,
+			reEscape: reEscape
 		};
 	}());