I wouldn't mind that, but most people don't use the editor and I want to keep the space for some other buttons coming in 0.7.0!
