Debug With External Editor Option Can't Be Set in Editor Settings > Debugger

[cedarbob]

v4.3.stable.official [77dcf97d8]

In the manual Scripting>Core Features>Debug>Overview of Debugging Tools>Script Editor Debug Tools and Options section, the next to last paragraph reads:

"The Debug with External Editor option lets you debug your game with an external editor. This option is also accessible in Editor Settings>Debugger."

The second sentence is false.

https://docs.godotengine.org/en/stable/tutorials/scripting/debug/overview_of_debugging_tools.html#doc-debugger-tools-and-options

[tetrapod00]

It looks like there is not editor setting, but there is an editor shortcut in Editor Settings > Shortcuts > Debugger:

Working on a fix for this.