45 lines
1.7 KiB
JSON
45 lines
1.7 KiB
JSON
{
|
|
"copied_path": "Search folder path copied to clipboard",
|
|
"counts": "{shown} shown · {total} indexed",
|
|
"err_bad_record": "Ignored an invalid index record — rebuild the index",
|
|
"err_index": "Failed to index the search folder",
|
|
"err_no_fzf": "fzf not found — install fzf to use this plugin",
|
|
"err_spawn": "Could not run the search command",
|
|
"launcher": {
|
|
"indexing": "Indexing files…",
|
|
"no_results": "No matches",
|
|
"reindex_done": "Search index dropped — it rebuilds on the next search",
|
|
"reindex_title": "Rebuild search index"
|
|
},
|
|
"no_results": "No matches for \"{query}\"",
|
|
"search_placeholder": "Type to search files and folders…",
|
|
"settings": {
|
|
"exclude_dirs": {
|
|
"description": "Folder names skipped while indexing, separated by ',' or ';' (matched anywhere in the tree), e.g. '.git, node_modules, .cache'.",
|
|
"label": "Excluded folders"
|
|
},
|
|
"glyph": {
|
|
"description": "Icon shown on the bar.",
|
|
"label": "Glyph"
|
|
},
|
|
"max_results": {
|
|
"description": "How many matches the panel lists at most.",
|
|
"label": "Max results"
|
|
},
|
|
"search_folder": {
|
|
"description": "Root folder the search indexes. Defaults to your home folder when empty.",
|
|
"label": "Search folder"
|
|
},
|
|
"show_hidden": {
|
|
"description": "Index files and folders whose name starts with a dot.",
|
|
"label": "Include hidden entries"
|
|
}
|
|
},
|
|
"status_indexing": "Indexing {path}…",
|
|
"tip_close": "Close",
|
|
"tip_refresh": "Rebuild the file index",
|
|
"title": "File Search",
|
|
"tooltip_closed": "File search — {path}\nClick to search · right-click: folder · middle-click: copy path",
|
|
"tooltip_open": "File search open — {path}\nClick to close"
|
|
}
|