{#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}
search search()} autofocus />
Name {#each search_results as result, index} node_click(index)} class="node" > icon {result} {/each} {#if search_results.length === last_limit}
{/if}