-
Martin Flöser authored
We need to have it around and not in the Preview widget to be able to update the options when the buttons change.
3ea18be5
We need to have it around and not in the Preview widget to be able to update the options when the buttons change.