Past input (#513)

* feat: :construction: use ComboBox in place of UserInputContainer

* feat: :construction: adding context to previous inputs steps

* feat: :sparkles: preview context items on click

* feat: :construction: more work on context items ui

* style: :construction: working out the details of ctx item buttons

* feat: :sparkles: getting the final details

* fix: :bug: fix height of ctx items bar

* fix: :bug: last couple of details

* fix: :bug: pass model param through to hf inference api

* fix: :loud_sound: better logging for timeout

* feat: :sparkles: option to set the meilisearch url

* fix: :bug: fix height of past inputs

6 files changed, 313 insertions, 104 deletions

diff --git a/schema/json/ContinueConfig.json b/schema/json/ContinueConfig.json
index 8666c420..e78bb3c9 100644
--- a/schema/json/ContinueConfig.json
+++ b/schema/json/ContinueConfig.json
@@ -15,7 +15,10 @@
           "type": "string"
         }
       },
-      "required": ["name", "arguments"]
+      "required": [
+        "name",
+        "arguments"
+      ]
     },
     "ChatMessage": {
       "title": "ChatMessage",
@@ -23,7 +26,12 @@
       "properties": {
         "role": {
           "title": "Role",
-          "enum": ["assistant", "user", "system", "function"],
+          "enum": [
+            "assistant",
+            "user",
+            "system",
+            "function"
+          ],
           "type": "string"
         },
         "content": {
@@ -42,7 +50,10 @@
           "$ref": "#/definitions/FunctionCall"
         }
       },
-      "required": ["role", "summary"]
+      "required": [
+        "role",
+        "summary"
+      ]
     },
     "Step": {
       "title": "Step",
@@ -139,6 +150,11 @@
           "description": "Path to a custom CA bundle to use when making the HTTP request",
           "type": "string"
         },
+        "proxy": {
+          "title": "Proxy",
+          "description": "Proxy URL to use when making the HTTP request",
+          "type": "string"
+        },
         "prompt_templates": {
           "title": "Prompt Templates",
           "description": "A dictionary of prompt templates that can be used to customize the behavior of the LLM in certain situations. For example, set the \"edit\" key in order to change the prompt that is used for the /edit slash command. Each value in the dictionary is a string templated in mustache syntax, and filled in at runtime with the variables specific to the situation. See the documentation for more information.",
@@ -151,7 +167,9 @@
           "type": "string"
         }
       },
-      "required": ["model"]
+      "required": [
+        "model"
+      ]
     },
     "src__continuedev__core__models__ContinueSDK": {
       "title": "ContinueSDK",
@@ -166,13 +184,7 @@
         "default": {
           "$ref": "#/definitions/LLM"
         },
-        "small": {
-          "$ref": "#/definitions/LLM"
-        },
-        "medium": {
-          "$ref": "#/definitions/LLM"
-        },
-        "large": {
+        "summarize": {
           "$ref": "#/definitions/LLM"
         },
         "edit": {
@@ -181,8 +193,8 @@
         "chat": {
           "$ref": "#/definitions/LLM"
         },
-        "unused": {
-          "title": "Unused",
+        "saved": {
+          "title": "Saved",
           "default": [],
           "type": "array",
           "items": {
@@ -193,7 +205,9 @@
           "$ref": "#/definitions/src__continuedev__core__models__ContinueSDK"
         }
       },
-      "required": ["default"]
+      "required": [
+        "default"
+      ]
     },
     "CustomCommand": {
       "title": "CustomCommand",
@@ -212,7 +226,11 @@
           "type": "string"
         }
       },
-      "required": ["name", "prompt", "description"]
+      "required": [
+        "name",
+        "prompt",
+        "description"
+      ]
     },
     "SlashCommand": {
       "title": "SlashCommand",
@@ -235,7 +253,11 @@
           "type": "object"
         }
       },
-      "required": ["name", "description", "step"]
+      "required": [
+        "name",
+        "description",
+        "step"
+      ]
     },
     "Policy": {
       "title": "Policy",
@@ -263,7 +285,10 @@
           "type": "string"
         }
       },
-      "required": ["provider_title", "item_id"]
+      "required": [
+        "provider_title",
+        "item_id"
+      ]
     },
     "ContextItemDescription": {
       "title": "ContextItemDescription",
@@ -282,7 +307,11 @@
           "$ref": "#/definitions/ContextItemId"
         }
       },
-      "required": ["name", "description", "id"]
+      "required": [
+        "name",
+        "description",
+        "id"
+      ]
     },
     "ContextItem": {
       "title": "ContextItem",
@@ -307,7 +336,10 @@
           "type": "boolean"
         }
       },
-      "required": ["description", "content"]
+      "required": [
+        "description",
+        "content"
+      ]
     },
     "ContextProvider": {
       "title": "ContextProvider",
@@ -359,7 +391,12 @@
           }
         }
       },
-      "required": ["title", "display_title", "description", "dynamic"]
+      "required": [
+        "title",
+        "display_title",
+        "description",
+        "dynamic"
+      ]
     },
     "src__continuedev__core__config__ContinueConfig": {
       "title": "ContinueConfig",
@@ -403,13 +440,13 @@
               "timeout": 300,
               "verify_ssl": null,
               "ca_bundle_path": null,
+              "proxy": null,
               "prompt_templates": {},
               "api_key": null,
               "llm": null,
               "class_name": "OpenAIFreeTrial"
             },
-            "small": null,
-            "medium": {
+            "summarize": {
               "title": null,
               "system_message": null,
               "context_length": 2048,
@@ -418,15 +455,15 @@
               "timeout": 300,
               "verify_ssl": null,
               "ca_bundle_path": null,
+              "proxy": null,
               "prompt_templates": {},
               "api_key": null,
               "llm": null,
               "class_name": "OpenAIFreeTrial"
             },
-            "large": null,
             "edit": null,
             "chat": null,
-            "unused": []
+            "saved": []
           },
           "allOf": [
             {
@@ -516,4 +553,4 @@
       }
     }
   }
-}
+}
\ No newline at end of file
diff --git a/schema/json/FullState.json b/schema/json/FullState.json
index ae52cf5d..aebe4b21 100644
--- a/schema/json/FullState.json
+++ b/schema/json/FullState.json
@@ -101,6 +101,76 @@
       "type": "object",
       "properties": {}
     },
+    "ContextItemId": {
+      "title": "ContextItemId",
+      "description": "A ContextItemId is a unique identifier for a ContextItem.",
+      "type": "object",
+      "properties": {
+        "provider_title": {
+          "title": "Provider Title",
+          "type": "string"
+        },
+        "item_id": {
+          "title": "Item Id",
+          "type": "string"
+        }
+      },
+      "required": [
+        "provider_title",
+        "item_id"
+      ]
+    },
+    "ContextItemDescription": {
+      "title": "ContextItemDescription",
+      "description": "A ContextItemDescription is a description of a ContextItem that is displayed to the user when they type '@'.\n\nThe id can be used to retrieve the ContextItem from the ContextManager.",
+      "type": "object",
+      "properties": {
+        "name": {
+          "title": "Name",
+          "type": "string"
+        },
+        "description": {
+          "title": "Description",
+          "type": "string"
+        },
+        "id": {
+          "$ref": "#/definitions/ContextItemId"
+        }
+      },
+      "required": [
+        "name",
+        "description",
+        "id"
+      ]
+    },
+    "ContextItem": {
+      "title": "ContextItem",
+      "description": "A ContextItem is a single item that is stored in the ContextManager.",
+      "type": "object",
+      "properties": {
+        "description": {
+          "$ref": "#/definitions/ContextItemDescription"
+        },
+        "content": {
+          "title": "Content",
+          "type": "string"
+        },
+        "editing": {
+          "title": "Editing",
+          "default": false,
+          "type": "boolean"
+        },
+        "editable": {
+          "title": "Editable",
+          "default": false,
+          "type": "boolean"
+        }
+      },
+      "required": [
+        "description",
+        "content"
+      ]
+    },
     "HistoryNode": {
       "title": "HistoryNode",
       "description": "A point in history, a list of which make up History",
@@ -133,6 +203,14 @@
           "items": {
             "type": "string"
           }
+        },
+        "context_used": {
+          "title": "Context Used",
+          "default": [],
+          "type": "array",
+          "items": {
+            "$ref": "#/definitions/ContextItem"
+          }
         }
       },
       "required": [
@@ -180,76 +258,6 @@
         "description"
       ]
     },
-    "ContextItemId": {
-      "title": "ContextItemId",
-      "description": "A ContextItemId is a unique identifier for a ContextItem.",
-      "type": "object",
-      "properties": {
-        "provider_title": {
-          "title": "Provider Title",
-          "type": "string"
-        },
-        "item_id": {
-          "title": "Item Id",
-          "type": "string"
-        }
-      },
-      "required": [
-        "provider_title",
-        "item_id"
-      ]
-    },
-    "ContextItemDescription": {
-      "title": "ContextItemDescription",
-      "description": "A ContextItemDescription is a description of a ContextItem that is displayed to the user when they type '@'.\n\nThe id can be used to retrieve the ContextItem from the ContextManager.",
-      "type": "object",
-      "properties": {
-        "name": {
-          "title": "Name",
-          "type": "string"
-        },
-        "description": {
-          "title": "Description",
-          "type": "string"
-        },
-        "id": {
-          "$ref": "#/definitions/ContextItemId"
-        }
-      },
-      "required": [
-        "name",
-        "description",
-        "id"
-      ]
-    },
-    "ContextItem": {
-      "title": "ContextItem",
-      "description": "A ContextItem is a single item that is stored in the ContextManager.",
-      "type": "object",
-      "properties": {
-        "description": {
-          "$ref": "#/definitions/ContextItemDescription"
-        },
-        "content": {
-          "title": "Content",
-          "type": "string"
-        },
-        "editing": {
-          "title": "Editing",
-          "default": false,
-          "type": "boolean"
-        },
-        "editable": {
-          "title": "Editable",
-          "default": false,
-          "type": "boolean"
-        }
-      },
-      "required": [
-        "description",
-        "content"
-      ]
-    },
     "SessionInfo": {
       "title": "SessionInfo",
       "type": "object",
@@ -385,6 +393,10 @@
           "items": {
             "$ref": "#/definitions/ContextProviderDescription"
           }
+        },
+        "meilisearch_url": {
+          "title": "Meilisearch Url",
+          "type": "string"
         }
       },
       "required": [
diff --git a/schema/json/History.json b/schema/json/History.json
index c8b8208b..9575b8c3 100644
--- a/schema/json/History.json
+++ b/schema/json/History.json
@@ -101,6 +101,76 @@
       "type": "object",
       "properties": {}
     },
+    "ContextItemId": {
+      "title": "ContextItemId",
+      "description": "A ContextItemId is a unique identifier for a ContextItem.",
+      "type": "object",
+      "properties": {
+        "provider_title": {
+          "title": "Provider Title",
+          "type": "string"
+        },
+        "item_id": {
+          "title": "Item Id",
+          "type": "string"
+        }
+      },
+      "required": [
+        "provider_title",
+        "item_id"
+      ]
+    },
+    "ContextItemDescription": {
+      "title": "ContextItemDescription",
+      "description": "A ContextItemDescription is a description of a ContextItem that is displayed to the user when they type '@'.\n\nThe id can be used to retrieve the ContextItem from the ContextManager.",
+      "type": "object",
+      "properties": {
+        "name": {
+          "title": "Name",
+          "type": "string"
+        },
+        "description": {
+          "title": "Description",
+          "type": "string"
+        },
+        "id": {
+          "$ref": "#/definitions/ContextItemId"
+        }
+      },
+      "required": [
+        "name",
+        "description",
+        "id"
+      ]
+    },
+    "ContextItem": {
+      "title": "ContextItem",
+      "description": "A ContextItem is a single item that is stored in the ContextManager.",
+      "type": "object",
+      "properties": {
+        "description": {
+          "$ref": "#/definitions/ContextItemDescription"
+        },
+        "content": {
+          "title": "Content",
+          "type": "string"
+        },
+        "editing": {
+          "title": "Editing",
+          "default": false,
+          "type": "boolean"
+        },
+        "editable": {
+          "title": "Editable",
+          "default": false,
+          "type": "boolean"
+        }
+      },
+      "required": [
+        "description",
+        "content"
+      ]
+    },
     "HistoryNode": {
       "title": "HistoryNode",
       "description": "A point in history, a list of which make up History",
@@ -133,6 +203,14 @@
           "items": {
             "type": "string"
           }
+        },
+        "context_used": {
+          "title": "Context Used",
+          "default": [],
+          "type": "array",
+          "items": {
+            "$ref": "#/definitions/ContextItem"
+          }
         }
       },
       "required": [
diff --git a/schema/json/HistoryNode.json b/schema/json/HistoryNode.json
index 3ca9e394..f9004a43 100644
--- a/schema/json/HistoryNode.json
+++ b/schema/json/HistoryNode.json
@@ -101,6 +101,76 @@
       "type": "object",
       "properties": {}
     },
+    "ContextItemId": {
+      "title": "ContextItemId",
+      "description": "A ContextItemId is a unique identifier for a ContextItem.",
+      "type": "object",
+      "properties": {
+        "provider_title": {
+          "title": "Provider Title",
+          "type": "string"
+        },
+        "item_id": {
+          "title": "Item Id",
+          "type": "string"
+        }
+      },
+      "required": [
+        "provider_title",
+        "item_id"
+      ]
+    },
+    "ContextItemDescription": {
+      "title": "ContextItemDescription",
+      "description": "A ContextItemDescription is a description of a ContextItem that is displayed to the user when they type '@'.\n\nThe id can be used to retrieve the ContextItem from the ContextManager.",
+      "type": "object",
+      "properties": {
+        "name": {
+          "title": "Name",
+          "type": "string"
+        },
+        "description": {
+          "title": "Description",
+          "type": "string"
+        },
+        "id": {
+          "$ref": "#/definitions/ContextItemId"
+        }
+      },
+      "required": [
+        "name",
+        "description",
+        "id"
+      ]
+    },
+    "ContextItem": {
+      "title": "ContextItem",
+      "description": "A ContextItem is a single item that is stored in the ContextManager.",
+      "type": "object",
+      "properties": {
+        "description": {
+          "$ref": "#/definitions/ContextItemDescription"
+        },
+        "content": {
+          "title": "Content",
+          "type": "string"
+        },
+        "editing": {
+          "title": "Editing",
+          "default": false,
+          "type": "boolean"
+        },
+        "editable": {
+          "title": "Editable",
+          "default": false,
+          "type": "boolean"
+        }
+      },
+      "required": [
+        "description",
+        "content"
+      ]
+    },
     "src__continuedev__core__main__HistoryNode": {
       "title": "HistoryNode",
       "description": "A point in history, a list of which make up History",
@@ -133,6 +203,14 @@
           "items": {
             "type": "string"
           }
+        },
+        "context_used": {
+          "title": "Context Used",
+          "default": [],
+          "type": "array",
+          "items": {
+            "$ref": "#/definitions/ContextItem"
+          }
         }
       },
       "required": [
diff --git a/schema/json/LLM.json b/schema/json/LLM.json
index acfc4dc2..b5b48d6b 100644
--- a/schema/json/LLM.json
+++ b/schema/json/LLM.json
@@ -56,6 +56,11 @@
           "description": "Path to a custom CA bundle to use when making the HTTP request",
           "type": "string"
         },
+        "proxy": {
+          "title": "Proxy",
+          "description": "Proxy URL to use when making the HTTP request",
+          "type": "string"
+        },
         "prompt_templates": {
           "title": "Prompt Templates",
           "description": "A dictionary of prompt templates that can be used to customize the behavior of the LLM in certain situations. For example, set the \"edit\" key in order to change the prompt that is used for the /edit slash command. Each value in the dictionary is a string templated in mustache syntax, and filled in at runtime with the variables specific to the situation. See the documentation for more information.",
diff --git a/schema/json/Models.json b/schema/json/Models.json
index de2f32c5..9a7bd310 100644
--- a/schema/json/Models.json
+++ b/schema/json/Models.json
@@ -56,6 +56,11 @@
           "description": "Path to a custom CA bundle to use when making the HTTP request",
           "type": "string"
         },
+        "proxy": {
+          "title": "Proxy",
+          "description": "Proxy URL to use when making the HTTP request",
+          "type": "string"
+        },
         "prompt_templates": {
           "title": "Prompt Templates",
           "description": "A dictionary of prompt templates that can be used to customize the behavior of the LLM in certain situations. For example, set the \"edit\" key in order to change the prompt that is used for the /edit slash command. Each value in the dictionary is a string templated in mustache syntax, and filled in at runtime with the variables specific to the situation. See the documentation for more information.",
@@ -85,13 +90,7 @@
         "default": {
           "$ref": "#/definitions/LLM"
         },
-        "small": {
-          "$ref": "#/definitions/LLM"
-        },
-        "medium": {
-          "$ref": "#/definitions/LLM"
-        },
-        "large": {
+        "summarize": {
           "$ref": "#/definitions/LLM"
         },
         "edit": {
@@ -100,8 +99,8 @@
         "chat": {
           "$ref": "#/definitions/LLM"
         },
-        "unused": {
-          "title": "Unused",
+        "saved": {
+          "title": "Saved",
           "default": [],
           "type": "array",
           "items": {