Here you can see the whole interface of the Marvin JS editor.
You can only see all of these options if you have access to the web service.
The editor itself is resizable and the "More" ( ,
) buttons in the corners help to access every toolbar button when the editor has been reduced.