Issue #128: got rid of editor toolbar (the old 'floating' view containing the buttons)