From d829f5f39ce7633af802c03203bc9c33a97b6289 Mon Sep 17 00:00:00 2001 From: joshuaboud Date: Thu, 26 May 2022 14:45:50 -0300 Subject: [PATCH] add search settings --- navigator-vue/src/globalTypedefs.js | 3 +++ 1 file changed, 3 insertions(+) diff --git a/navigator-vue/src/globalTypedefs.js b/navigator-vue/src/globalTypedefs.js index 74c6c7d..e3ffb5a 100644 --- a/navigator-vue/src/globalTypedefs.js +++ b/navigator-vue/src/globalTypedefs.js @@ -12,4 +12,7 @@ * @property {Boolean} directoryView.cols.ctime - Show the creation time column * @property {Boolean} directoryView.cols.mtime - Show the modification time column * @property {Boolean} directoryView.cols.atime - Show the access time column + * @property {Object} searchInDirectory - Settings for filtering directory entries + * @property {Boolean} searchInDirectory.ignoreCase - false: case sensitive, true: case insensitive + * @property {Boolean} searchInDirectory.fullRegex - false: glob matching, true: full regex mode */