#8 Automatic repaint after change of properties

[Gerrit Hohl]

Hello everyone,

it would be nice if the components would repaint themselves after properties have been changed by using the setter methods.
E.g. if I change the label of a Button component you have to repaint the Button yourself. If the new label is shorter than the old one, you even have to repaint the container. And the only container object with an accessable repaint method is the Window component - which means that you have to repaint the whole window everytime you make a (set of) changes.