With all text and sliders and pixmaps my GUI is very large. Is there any easy way to shrink EVERYTHING a little??... smaller fonts, widgets,etc.?
CS -- ======================================================= | Dr. Christian Seberino || (619) 553-7940 (office) | | SPAWARSYSCEN 2363 || (619) 553-2836 (fax) | | 53560 HULL ST || | | SAN DIEGO CA 92152-5001 || [EMAIL PROTECTED] | ======================================================= _______________________________________________ gtk-list mailing list [EMAIL PROTECTED] http://mail.gnome.org/mailman/listinfo/gtk-list
