You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-04 12:00:25 +00:00
Merge pull request #50378 from Razoric480/apply-edit-40
This commit is contained in:
@@ -79,6 +79,8 @@ private:
|
||||
int latest_client_id = 0;
|
||||
int next_client_id = 0;
|
||||
|
||||
int next_server_id = 0;
|
||||
|
||||
Ref<GDScriptTextDocument> text_document;
|
||||
Ref<GDScriptWorkspace> workspace;
|
||||
|
||||
@@ -107,6 +109,7 @@ public:
|
||||
void stop();
|
||||
|
||||
void notify_client(const String &p_method, const Variant &p_params = Variant(), int p_client_id = -1);
|
||||
void request_client(const String &p_method, const Variant &p_params = Variant(), int p_client_id = -1);
|
||||
|
||||
bool is_smart_resolve_enabled() const;
|
||||
bool is_goto_native_symbols_enabled() const;
|
||||
|
||||
Reference in New Issue
Block a user