Go to the actual file directly

Author: bjori

js/search.js

@@ -311,7 +311,7 @@
             $(element).typeahead(typeaheadOptions).on("typeahead:selected", function (_, item) {
                 /* If the user has selected an autocomplete item and hits
                  * enter, we should take them straight to the page. */
-                window.location = "/" + item.id;
+                window.location = "/manual/" + options.language + "/" + item.id;
             }).on("keyup", (function () {
                 /* typeahead.js doesn't give us a reliable event for the
                  * dropdown entries having been updated, so we'll hook into the