UI: editor menu, swap Text and node editors
Proposed by @sebastian_k and approved by @severin over IRC. Follows up on rB0f561da5fb77540626aec7a995314271a91acdf6
This commit is contained in:
Proposed by @sebastian_k and approved by @severin over IRC. Follows up on rB0f561da5fb77540626aec7a995314271a91acdf6