dro -> duckduckgo

dro means "doc.rust-lang.org", but it is too cryptic.
rust-lang · Oct 5, 2018 · 23af6bb · 23af6bb
1 parent ecb5142
commit 23af6bb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/doc/not_found.md b/src/doc/not_found.md
@@ -45,7 +45,7 @@ Some things that might be helpful to you though:
     -->
     <fieldset id="search-from" style="display:none">
       <label><input name="from" value="library" type="radio"> From the Standard Library</label>
-      <label><input name="from" value="dro" type="radio" checked> From DuckDuckGo</label>
+      <label><input name="from" value="duckduckgo" type="radio" checked> From DuckDuckGo</label>
     </fieldset>
   </form>
 </div>
@@ -81,7 +81,7 @@ function on_submit(event) {
 
     event.preventDefault();
 
-    if (form['from'].value === 'dro') {
+    if (form['from'].value === 'duckduckgo') {
         document.location.href = form.action + '?q=' + encodeURIComponent(q + ' site:doc.rust-lang.org');
     } else if (form['from'].value === 'library') {
         document.location.href = 'std/index.html?search=' + encodeURIComponent(q);