make all options accessible from the GUI

Imported from bugseverywhere, created on 2013-10-20