Move font size in the theme

This commit is contained in:
Marco Pesenti Gritti 2006-10-12 02:59:20 +02:00
parent d791577e79
commit d01a5cdf95

View File

@ -8,8 +8,6 @@ grid = Grid()
sizes = 'gtk-large-toolbar=%d, %d' % (grid.dimension(1), grid.dimension(1)) sizes = 'gtk-large-toolbar=%d, %d' % (grid.dimension(1), grid.dimension(1))
settings.set_string_property('gtk-icon-sizes', sizes, '') settings.set_string_property('gtk-icon-sizes', sizes, '')
settings.set_string_property('gtk-font-name', 'Sans 14', '')
def get_default_type(activity_type): def get_default_type(activity_type):
"""Get the activity default type. """Get the activity default type.