[gtkada] Slowness on Linux

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

>One idea would be that you are using a theme that has a lot of pixmaps,
thus
>slowing down the refresh of the screen.

I haven't included a theme in the resource file, just using the
default one. But I noticed that some widgets are drawn
slower than others, for example spinbuttons are slow, and
pixmaps from files. Pixmaps in the code not so much.
Drop down menus appear in a fraction of a second, but still
noticably slower than elsewhere.

Manuel