World Builder – Settings Menu

Here you’ll find several options for changing the editor.