From 43d55d705d204ebc7ecb05bdaec2b32b6cb9d07f Mon Sep 17 00:00:00 2001 From: sestinj Date: Thu, 10 Aug 2023 01:39:09 -0700 Subject: Remove clientgen, fix windows startup errors --- schema/json/FileEditWithFullContents.json | 158 +++++++++++++++--------------- 1 file changed, 79 insertions(+), 79 deletions(-) (limited to 'schema/json/FileEditWithFullContents.json') diff --git a/schema/json/FileEditWithFullContents.json b/schema/json/FileEditWithFullContents.json index 2ea75bab..8394af17 100644 --- a/schema/json/FileEditWithFullContents.json +++ b/schema/json/FileEditWithFullContents.json @@ -1,80 +1,80 @@ -{ - "title": "FileEditWithFullContents", - "$ref": "#/definitions/src__continuedev__models__filesystem_edit__FileEditWithFullContents", - "definitions": { - "Position": { - "title": "Position", - "type": "object", - "properties": { - "line": { - "title": "Line", - "type": "integer" - }, - "character": { - "title": "Character", - "type": "integer" - } - }, - "required": [ - "line", - "character" - ] - }, - "Range": { - "title": "Range", - "description": "A range in a file. 0-indexed.", - "type": "object", - "properties": { - "start": { - "$ref": "#/definitions/Position" - }, - "end": { - "$ref": "#/definitions/Position" - } - }, - "required": [ - "start", - "end" - ] - }, - "FileEdit": { - "title": "FileEdit", - "type": "object", - "properties": { - "filepath": { - "title": "Filepath", - "type": "string" - }, - "range": { - "$ref": "#/definitions/Range" - }, - "replacement": { - "title": "Replacement", - "type": "string" - } - }, - "required": [ - "filepath", - "range", - "replacement" - ] - }, - "src__continuedev__models__filesystem_edit__FileEditWithFullContents": { - "title": "FileEditWithFullContents", - "type": "object", - "properties": { - "fileEdit": { - "$ref": "#/definitions/FileEdit" - }, - "fileContents": { - "title": "Filecontents", - "type": "string" - } - }, - "required": [ - "fileEdit", - "fileContents" - ] - } - } +{ + "title": "FileEditWithFullContents", + "$ref": "#/definitions/src__continuedev__models__filesystem_edit__FileEditWithFullContents", + "definitions": { + "Position": { + "title": "Position", + "type": "object", + "properties": { + "line": { + "title": "Line", + "type": "integer" + }, + "character": { + "title": "Character", + "type": "integer" + } + }, + "required": [ + "line", + "character" + ] + }, + "Range": { + "title": "Range", + "description": "A range in a file. 0-indexed.", + "type": "object", + "properties": { + "start": { + "$ref": "#/definitions/Position" + }, + "end": { + "$ref": "#/definitions/Position" + } + }, + "required": [ + "start", + "end" + ] + }, + "FileEdit": { + "title": "FileEdit", + "type": "object", + "properties": { + "filepath": { + "title": "Filepath", + "type": "string" + }, + "range": { + "$ref": "#/definitions/Range" + }, + "replacement": { + "title": "Replacement", + "type": "string" + } + }, + "required": [ + "filepath", + "range", + "replacement" + ] + }, + "src__continuedev__models__filesystem_edit__FileEditWithFullContents": { + "title": "FileEditWithFullContents", + "type": "object", + "properties": { + "fileEdit": { + "$ref": "#/definitions/FileEdit" + }, + "fileContents": { + "title": "Filecontents", + "type": "string" + } + }, + "required": [ + "fileEdit", + "fileContents" + ] + } + } } \ No newline at end of file -- cgit v1.2.3-70-g09d2