GroupGraph: shrink graph_properties a lot by using OptionsDialog.