Godot Mono External editor setting is broken

[Robot-With-A-Hat]

Godot version

4.0

System information

Windows 11

Issue description

(4.0 rc1) I opened godot 4 rc1 and when selecting external editor I get a text box with the number 4. Changing the numbers has no impact and putting text reverts to numbers. (I opened a beta 17 project, not sure if it is important)

Steps to reproduce

-Open godot mono rc1
-Select external editor

Minimal reproduction project

None

[raulsntos]

The editor settings were renamed in #72061.

The setting is still showing up because it is set in editor_settings-4.tres (see https://docs.godotengine.org/en/latest/tutorials/io/data_paths.html#editor-data-paths for the path to that file).

There's a proposal about removing obsolete/undefined settings: godotengine/godot-proposals#3526.

[Calinou]

Duplicate of godotengine/godot-proposals#3526.