samaaron/sonic-pi — pull request #42 by wstephenson (2014-05-08 19:31:57+00:00)
Title: Merge the toolbars so the items can be spaced out

Too many toolbars. I merged the toolbars, add them back when you need to move them around.
The problem with multiple toolbars in one toolbar area is that the toolbar area layouting
gives them the minimum space they can work with, so Expanding size policies aren't demanding enough.