[gtkada] Problem with Style and Themes

[manuel.op.de.coul at eon-benelux.com]

Preben wrote:
>Do I have to copy the style with Copy on each widget I want to change
>the font to and then set the font and add it? Or is there a simpler way?

Yes, invent a name for each group of widgets that have the same
appearance. Then use Set_Name to set that name to the widgets.
Define the corresponding styles in your resource file and apply
them with widget clauses.

Manuel