[gtkada] Change the font size?

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

The best possibility is to let the user change the font
size or any other parameters in the resource file.
Then you need to make a call to Gtk.Widget.Set_Name
for your label. Assume you give it the name "title_label".
In your main procedure, do
Gtk.Rc.Parse("resfile");
after Gtk.Main.Init.
In the resource file ("resfile" or any other name) put the line:
widget "*title_label" style "title_style"
where title_style is a style defined earlier in the resource file,
see the example of testgtk.

Manuel