Adding delete selected options to toolbar options, etc.#1

Open

john-peterson wants to merge 3 commits intomirror:masterfrom

john-peterson:gui

Commits on Jun 27, 2013

Adding formatter profile to project settings
john-peterson
committed

Commits on Jul 4, 2013

Changing the import toolbar menu title from "Export …" to "Import …"
john-peterson
committed
Adding delete selected options to toolbar options
john-peterson
committed