Alexander - 2000-09-11

I think that there also should be in a theme select such a thing, like buttons change
because they may vary in different themes.