{#if error === "path_not_found" || error === "node_is_a_directory"}

Search index not found. The search index is a file called '.search_index.gz' in your home directory. If you delete this file then search will not work. The file is regenerated 10 minutes after modifying a file in your filesystem.

{:else if error !== ""}

An error ocurred while executing the search request: {error}

{/if}

{#each search_results as result, index} open_result(index)} class="node" > icon

{result.slice($nav.base.path.length+1)} {/each} {#if search_results.length === last_limit}

{/if}