Merge pull request #857 from sjakobi/ghc-head-update-3

Update ghc-head

1 files changed, 11 insertions, 3 deletions

diff --git a/haddock-api/resources/html/js-src/quick-jump.tsx b/haddock-api/resources/html/js-src/quick-jump.tsx
index 97ac14af..e64dae0b 100644
--- a/haddock-api/resources/html/js-src/quick-jump.tsx
+++ b/haddock-api/resources/html/js-src/quick-jump.tsx
@@ -107,7 +107,15 @@ class QuickJump extends Component<QuickJumpProps, QuickJumpState> {
           caseSensitive: true,
           includeScore: true,
           tokenize: true,
-          keys: ["name", "module"]
+          keys: [ {
+                    name: "name",
+                    weight: 0.7
+                  },
+                  {
+                    name: "module",
+                    weight: 0.3
+                  }
+                ]
         }),
         moduleResults: []
       });
@@ -143,7 +151,7 @@ class QuickJump extends Component<QuickJumpProps, QuickJumpState> {
   }
 
   hide() {
-    this.setState({ isVisible: false });
+    this.setState({ isVisible: false, searchString: '' });
   }
 
   show() {
@@ -409,4 +417,4 @@ export function init(docBaseUrl?: string, showHide?: (action: () => void) => voi
 }
 
 // export to global object
-(window as any).quickNav = { init: init };
\ No newline at end of file
+(window as any).quickNav = { init: init };