From ecb5142ede119fc110a7911b933ccc6f54796466 Mon Sep 17 00:00:00 2001
From: Kazuyoshi Kato <kato.kazuyoshi@gmail.com>
Date: Sun, 30 Sep 2018 08:59:36 -0700
Subject: [PATCH] Unify the search boxes

Instead of having the standard library search and DuckDuckGo search.
This change merges two of them, with radio buttons.
---
 src/doc/not_found.md | 64 +++++++++++++++++++++++++++-----------------
 1 file changed, 40 insertions(+), 24 deletions(-)

diff --git a/src/doc/not_found.md b/src/doc/not_found.md
index 4abfee9d46f..d54798793cd 100644
--- a/src/doc/not_found.md
+++ b/src/doc/not_found.md
@@ -5,13 +5,13 @@
 #TOC { display: none; }
 .header-section-number { display: none; }
 li {list-style-type: none; }
-.search-input {
-    width: calc(100% - 200px);
+#search-input {
+    width: calc(100% - 100px);
 }
-.search-but {
+#search-but {
     cursor: pointer;
 }
-.search-but, .search-input {
+#search-but, #search-input {
     padding: 4px;
     border: 1px solid #ccc;
     border-radius: 3px;
@@ -19,9 +19,14 @@ li {list-style-type: none; }
     font-size: 0.7em;
     background-color: #fff;
 }
-.search-but:hover, .search-input:focus {
+#search-but:hover, #search-input:focus {
     border-color: #55a9ff;
 }
+#search-from {
+    border: none;
+    padding: 0;
+    font-size: 0.7em;
+}
 </style>
 
 Looks like you've taken a wrong turn.
@@ -31,17 +36,17 @@ Some things that might be helpful to you though:
 # Search
 
 <div>
-  <form action="std/index.html" method="get">
-    <input id="std-search" class="search-input" type="search" name="search"
-           placeholder="Search through the standard library"/>
-    <button class="search-but">Search Standard Library</button>
-  </form>
-</div>
-
-<div>
-  <form action="https://duckduckgo.com/">
-    <input id="site-search" class="search-input" type="search" name="q"></input>
-    <input type="submit" value="Search DuckDuckGo" class="search-but">
+  <form id="search-form" action="https://duckduckgo.com/">
+    <input id="search-input" type="search" name="q"></input>
+    <input type="submit" value="Search" id="search-but">
+    <!--
+      Don't show the options by default,
+      since "From the Standary Library" doesn't work without JavaScript
+    -->
+    <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>
+    </fieldset>
   </form>
 </div>
 
@@ -70,17 +75,28 @@ function get_url_fragments() {
     return op;
 }
 
-function populate_site_search() {
-    var op = get_url_fragments();
+function on_submit(event) {
+    var form = event.target;
+    var q = form['q'].value;
+
+    event.preventDefault();
 
-    var search = document.getElementById('site-search');
-    search.value = op.join(' ') + " site:doc.rust-lang.org";
+    if (form['from'].value === 'dro') {
+        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);
+    }
 }
 
-function populate_rust_search() {
+function populate_search() {
+    var form = document.getElementById('search-form');
+    form.addEventListener('submit', on_submit);
+    document.getElementById('search-from').style.display = '';
+
+    form['from'].value = 'library';
+
     var op = get_url_fragments();
-    document.getElementById('std-search').value = op.join(' ');
+    document.getElementById('search-input').value = op.join(' ');
 }
-populate_site_search();
-populate_rust_search();
+populate_search();
 </script>
-- 
2.44.0