I use gnome-do. It’s fairly useful. One quick trick: press SHIFT – <ENTER> instead of plain <ENTER> to launch without closing the launcher box. Therefore, if you want three terminals, type: <SUPER> – <SPACE>, t(erminal), (<SHIFT> – <ENTER> X 2), <ENTER>.