add search settings

This commit is contained in:
joshuaboud 2022-05-26 14:45:50 -03:00
parent 5207e25678
commit d829f5f39c
No known key found for this signature in database
GPG Key ID: 17EFB59E2A8BF50E

View File

@ -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
*/