| 3120 font->size = 5; |
3120 font->size = 5; |
| 3121 else if (g_ascii_strcasecmp(size, "x-large") == 0) |
3121 else if (g_ascii_strcasecmp(size, "x-large") == 0) |
| 3122 font->size = 6; |
3122 font->size = 6; |
| 3123 else if (g_ascii_strcasecmp(size, "xx-large") == 0) |
3123 else if (g_ascii_strcasecmp(size, "xx-large") == 0) |
| 3124 font->size = 7; |
3124 font->size = 7; |
| 3125 else |
3125 |
| 3126 font->size = 3; |
3126 /* |
| 3127 gtk_imhtml_font_set_size(imhtml, font->size); |
3127 * TODO: Handle other values, like percentages, or |
| |
3128 * lengths specified as em, ex, px, in, cm, mm, pt |
| |
3129 * or pc. Or even better, use an actual HTML |
| |
3130 * renderer like webkit. |
| |
3131 */ |
| |
3132 if (font->size > 0) |
| |
3133 gtk_imhtml_font_set_size(imhtml, font->size); |
| 3128 } |
3134 } |
| 3129 else if (oldfont) |
3135 else if (oldfont) |
| 3130 { |
3136 { |
| 3131 font->size = oldfont->size; |
3137 font->size = oldfont->size; |
| 3132 } |
3138 } |