Expose update_docs_from_script method

[Naros]

Currently, ScriptEditor is not exposed to GDExtension.

So for any implementation of ScriptExtension and ScriptLanguageExtension that supports documentation, if the user has opened the documentation for a specific script and the user later modifies the script, there is no way to synchronize the changes with the documentation view that's embedded within the ScriptEditor framework.

Exposing update_docs_from_script(Script&) allows such integrators to trigger a sync of the script's documentation should it already be opened in the ScriptEditor interface so that the documentation view works the same as the script editor integration does for C# and GDScript.

[AThousandShips]

I'd say this should be discussed in a proposal to find the need and discuss the best way to go about this

[Naros]

Hi @AThousandShips, I would say the best way should be to properly expose ScriptEditor to GDExtension. This would expose a lot of the inner workings of ScriptEditor to any derived implementation, including things like help, documentation, etc.

I believe this would require new methods on the GDExtension interface for this to work, @dsnopek can confirm. My concern there would be that would likely not be something we'd likely backport to Godot 4.2, and we have a strict requirement to support Godot 4.2 and 4.3. So when looking at a solution that can easily be backported, this seemed like a more logical approach, but I can certainly understand your PoV.

[AThousandShips]

Meant to open a proposal here

And I also mean discussing other solutions, including non-source changes etc., and that's best discussed, along with assessing the need, in a proposal

[dsnopek]

This isn't an area of the engine I'm very familiar with, but exposing this makes sense to me.

[akien-mga]

Thanks!