@@ -16,19 +16,19 @@ export class ServerPacketString {
1616
1717
1818export type ExtensionToWebviewMessage =
19- | { type : 'restore' , state : any }
20- // TODO: Proper type here
21- | { type : 'cxxrtl_scmessage' , message : ServerPacketString }
22- | { type : 'wcp_cs_message' , message : string }
23- ;
19+ | { type : 'restore' , state : any }
20+ // TODO: Proper type here
21+ | { type : 'cxxrtl_scmessage' , message : ServerPacketString }
22+ | { type : 'wcp_cs_message' , message : string }
23+ ;
2424
2525export type WebviewToExtensionMessage =
26- | { type : 'ready' }
27- | { type : 'crash' , error : any }
28- // TODO: Proper type here
29- | { type : 'cxxrtl_csmessage' , message : ClientPacketString }
30- | { type : 'wcp_sc_message' , message : string }
31- ;
26+ | { type : 'ready' }
27+ | { type : 'crash' , error : any }
28+ // TODO: Proper type here
29+ | { type : 'cxxrtl_csmessage' , message : ClientPacketString }
30+ | { type : 'wcp_sc_message' , message : string }
31+ ;
3232
3333export class WaveformProvider {
3434 constructor (
0 commit comments