{# query_nav.html #}
[ {% if nav_on_querybuilder %} Query builder {% else %} Query builder {% endif %} | {% if nav_on_query %} SQL {% else %} SQL {% endif %} | {% if nav_on_highlight %} highlighting {% else %} highlighting {% endif %} {% comment %} | {% if nav_on_count or not query_selected %} preview count {% else %} preview count {% endif %} {% endcomment %} | {% if nav_on_results or not query_selected %} results (table) {% else %} results (table) {% endif %} | {% if nav_on_results_recordwise or not query_selected %} results (recordwise) {% else %} results (recordwise) {% endif %} | {% if not query_selected %} export as TSV {% else %} export as TSV {% endif %} ]