3241 |
g_object_set (gtk_settings_get_default (), "gtk-cursor-theme-size", config_get_int (NULL, CONFIG_KEY_CURSOR_THEME_SIZE, 16), NULL); |
3241 |
g_object_set (gtk_settings_get_default (), "gtk-cursor-theme-size", config_get_int (NULL, CONFIG_KEY_CURSOR_THEME_SIZE, 16), NULL); |
3244 |
value = config_get_string (NULL, CONFIG_KEY_FONT, "Sans 10"); |
3244 |
value = config_get_string (NULL, CONFIG_KEY_FONT, "Sans 14"); |
3247 |
g_debug ("[Configuration] Changing font to '%s'", value); |
3247 |
g_debug ("[Configuration] Changing font to '%s'", value); |