/* Code Studio — project search Runs backend/search.agi over the opened project folder and renders the hits grouped by file. Clicking a hit opens the file and jumps to the line. */ var csSearchOptions = { matchCase: false, wholeWord: false }; var csSearchRunning = false; function toggleSearchOption(option, button){ csSearchOptions[option] = !csSearchOptions[option]; $(button).toggleClass("active", csSearchOptions[option]); } function clearSearchResults(){ $("#searchKeyword").val(""); $("#searchResults").html('