Add option to show region names in the minimap.

[bruvzg]

Implements https://github.com/godotengine/godot-proposals/issues/9742

[JekSun97]

This is convenient to some extent, but it would be nice if it could be switched in the settings

[bruvzg]

but it would be nice if it could be switched in the settings

It is switchable in the settings (text_editor/appearance/minimap/minimap_draw_markers), colors/font size can be changed as well.`

[Cykyrios]

This could be useful, however I have one concern: in the screenshot, it looks like the enlarged text is covering the "mini-text", wouldn't it be better to insert it without overlap?

[bruvzg]

is covering the "mini-text", wouldn't it be better to insert it without overlap?

It is covering part of the minimap, but other IDEs seems to do the same. It should be possible to insert it, but this will make minimap scale inconsistent with the actual editor. Since it's covering at most few lines, and one of them is region comment, it should not be an issue.