[gtkada] Problem with Style and Themes

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

For example

   Set_Name(My_Text_Widget, "specialfontname");


Then you supply a glosarc file with your program and it could contain
this:

style "biggerfont"
{
  font = '-unknown-Verdana Ref-normal-r-normal-*-*-120-*-*-p-*-*-*'
}

widget "*specialfontname" style "biggerfont"

Or if all your text widgets get the same font, you can do:

widget_class "*GtkText" style "biggerfont"

I'll send you my complete resource file.

Manuel