How do I set gtk.RadioButton font?

Nikos Kouremenos nk at
Thu Sep 2 12:11:49 CEST 2004

Google Mike wrote:
> I've got pyGTK 2-1.99.14 (which comes with my RH9 Linux). Does anyone
> know how to set the gtk.RadioButton font? I'm finding the font size
> too big for an application I need to build.

Your font is too big only for this? you can change the fonts for 
GTK/GNOME by running 'gnome-font-properties'

If you want especially this one to set it smaller and
if you really want to go the 'programmatically' way, then:

GLADE XML is better (especially for such stuff)
just enable the USE_MARKUP and then right in the "text"

here is a label of a quick label I clicked in GLADE, and glade wrote this:

		<widget class="GtkLabel" id="label33">
		  <property name="visible">True</property>
		  <property name="label" translatable="yes"><span 
<small><span background="white">If you change the 
settings don't forget to Save &amp; Activate in a 
		  <property name="use_underline">False</property>
		  <property name="use_markup">True</property>
		  <property name="justify">GTK_JUSTIFY_CENTER</property>
		  <property name="wrap">False</property>
		  <property name="selectable">False</property>
		  <property name="xalign">0.5</property>
		  <property name="yalign">0.5</property>
		  <property name="xpad">0</property>
		  <property name="ypad">0</property>

for GLADE files and PyGTK take a look here:

also consider seeing other peopple's sources and you're done :)

Have fun PyGTKing

More information about the Python-list mailing list