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