"Interface -> Editor" and "Interface -> Editors"

[aaronfranke]

Godot version: 3.1 beta 2 (applies with or without Mono, and in 3.0.6)

OS/device including version: Xubuntu 18.04 LTS 64-bit (should apply on any platform)

Issue description: There are several problems with these menus. Here are what they look like:

I put check boxes before each item to track if they have been fixed.

• First of all, the "Editors" menu should probably be merged together with the "Editor" section. I see no obvious reason why these two settings are split into their own section, and the name "Editors" is far too similar to "Editor" so it could lead to confusion.

• Secondly, the Font entries from "Editor" should be moved to "Theme". It makes no sense to have font selection and size in "Editor" while font color is in "Theme".

• Thirdly, I noticed that a lot of these entries simply aren't sorted. It would be much easier to find settings if they were sorted in alphabetical order (unless there is a good reason to group things together). Instead of this:

How about this:

Pretty much every menu in Godot could be re-sorted. Though, this depends on #32144.

[EricEzaM]

Related/superseded by godotengine/godot-proposals#1913?

[aaronfranke]

@EricEzaM Yeah, there is a lot of overlap, so we can track it all in your proposal.