| 602 |
602 |
| 603 static void do_small(GtkWidget *small, GtkWidget *entry) |
603 static void do_small(GtkWidget *small, GtkWidget *entry) |
| 604 { |
604 { |
| 605 if (state_lock) |
605 if (state_lock) |
| 606 return; |
606 return; |
| 607 surround(entry, "<FONT SIZE=\"+1\">","</FONT>"); |
607 surround(entry, "<FONT SIZE=\"-2\">","</FONT>"); |
| 608 } |
608 } |
| 609 |
609 |
| 610 static void do_normal(GtkWidget *normal, GtkWidget *entry) |
610 static void do_normal(GtkWidget *normal, GtkWidget *entry) |
| 611 { |
611 { |
| 612 if (state_lock) |
612 if (state_lock) |
| 613 return; |
613 return; |
| 614 surround(entry, "<FONT SIZE=\"+3\">","</FONT>"); |
614 surround(entry, "<FONT SIZE=\"3\">","</FONT>"); |
| 615 } |
615 } |
| 616 |
616 |
| 617 static void do_big(GtkWidget *big, GtkWidget *entry) |
617 static void do_big(GtkWidget *big, GtkWidget *entry) |
| 618 { |
618 { |
| 619 if (state_lock) |
619 if (state_lock) |