Remove unused options from GUI

TimothyLuke opened this issue 6 years ago · 0 comments