2022-07-22 17:12:52 +03:00
|
|
|
[org.enso.jsonrpc.JsonRpcServer] Received text message: { "jsonrpc": "2.0", "method": "text/applyEdit"
|
|
|
|
|
[org.enso.languageserver.protocol.json.JsonConnectionController] received handled Request(ApplyEdit
|
|
|
|
|
[org.enso.languageserver.runtime.RuntimeConnector] received handled Request(None,EditFileNotification
|
|
|
|
|
[enso] Executing command: EditFileCmd...
|
|
|
|
|
[enso] Job EnsureCompiledJob finished
|
2023-06-26 20:04:35 +03:00
|
|
|
[enso] Visualization computed
|
|
|
|
|
[org.enso.languageserver.runtime.ContextRegistry] received handled VisualizationUpdate
|
