From 580adf8a74207f4f395d019160ddcfed09703bfa Mon Sep 17 00:00:00 2001
From: CrossR <sc13rjc@leeds.ac.uk>
Date: Mon, 2 Apr 2018 17:03:08 +0100
Subject: [PATCH] Add score optionally to Menu Item.

---
 src/index.ts | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/index.ts b/src/index.ts
index 10eab08..d1b92d6 100644
--- a/src/index.ts
+++ b/src/index.ts
@@ -650,6 +650,11 @@ export namespace Menu {
          * before unpinned items
          */
         pinned?: boolean
+
+        /**
+         * Score used to sort the results.
+         */
+        score?: number
     }
 
     export interface IMenuOptionWithHighlights extends Menu.MenuOption {