1ce03f4f34
The client ID is not useful to normal clients anymore, so stop telling everyone what their ID is.
12 lines
487 B
Text
12 lines
487 B
Text
endpoint LanguageServer = 8001
|
|
{
|
|
Greet() => ()
|
|
|
|
FileOpened(String file_name, IPC::File file) =|
|
|
FileEditInsertText(String file_name, String text, i32 start_line, i32 start_column) =|
|
|
FileEditRemoveText(String file_name, i32 start_line, i32 start_column, i32 end_line, i32 end_column) =|
|
|
SetFileContent(String file_name, String content) =|
|
|
|
|
AutoCompleteSuggestions(String file_name, i32 cursor_line, i32 cursor_column) =|
|
|
SetAutoCompleteMode(String mode) =|
|
|
}
|