@@ -48,6 +48,20 @@ export type EventServerInstanceDisposed = {
4848 }
4949}
5050
51+ export type EventServerConnected = {
52+ type : "server.connected"
53+ properties : {
54+ [ key : string ] : unknown
55+ }
56+ }
57+
58+ export type EventGlobalDisposed = {
59+ type : "global.disposed"
60+ properties : {
61+ [ key : string ] : unknown
62+ }
63+ }
64+
5165export type EventLspClientDiagnostics = {
5266 type : "lsp.client.diagnostics"
5367 properties : {
@@ -846,25 +860,13 @@ export type EventPtyDeleted = {
846860 }
847861}
848862
849- export type EventGlobalDisposed = {
850- type : "global.disposed"
851- properties : {
852- [ key : string ] : unknown
853- }
854- }
855-
856- export type EventServerConnected = {
857- type : "server.connected"
858- properties : {
859- [ key : string ] : unknown
860- }
861- }
862-
863863export type Event =
864864 | EventInstallationUpdated
865865 | EventInstallationUpdateAvailable
866866 | EventProjectUpdated
867867 | EventServerInstanceDisposed
868+ | EventServerConnected
869+ | EventGlobalDisposed
868870 | EventLspClientDiagnostics
869871 | EventLspUpdated
870872 | EventFileEdited
@@ -899,8 +901,6 @@ export type Event =
899901 | EventPtyUpdated
900902 | EventPtyExited
901903 | EventPtyDeleted
902- | EventGlobalDisposed
903- | EventServerConnected
904904
905905export type GlobalEvent = {
906906 directory : string
@@ -2189,47 +2189,6 @@ export type GlobalDisposeResponses = {
21892189
21902190export type GlobalDisposeResponse = GlobalDisposeResponses [ keyof GlobalDisposeResponses ]
21912191
2192- export type GlobalConfigGetData = {
2193- body ?: never
2194- path ?: never
2195- query ?: never
2196- url : "/global/config"
2197- }
2198-
2199- export type GlobalConfigGetResponses = {
2200- /**
2201- * Global config
2202- */
2203- 200 : Config
2204- }
2205-
2206- export type GlobalConfigGetResponse = GlobalConfigGetResponses [ keyof GlobalConfigGetResponses ]
2207-
2208- export type GlobalConfigUpdateData = {
2209- body ?: Config
2210- path ?: never
2211- query ?: never
2212- url : "/global/config"
2213- }
2214-
2215- export type GlobalConfigUpdateErrors = {
2216- /**
2217- * Bad request
2218- */
2219- 400 : BadRequestError
2220- }
2221-
2222- export type GlobalConfigUpdateError = GlobalConfigUpdateErrors [ keyof GlobalConfigUpdateErrors ]
2223-
2224- export type GlobalConfigUpdateResponses = {
2225- /**
2226- * Successfully updated global config
2227- */
2228- 200 : Config
2229- }
2230-
2231- export type GlobalConfigUpdateResponse = GlobalConfigUpdateResponses [ keyof GlobalConfigUpdateResponses ]
2232-
22332192export type ProjectListData = {
22342193 body ?: never
22352194 path ?: never
0 commit comments