| changeset 21278 | ef8a3a2a72f2 |
| parent 21270 | 8a0fc12b81a2 |
| child 22567 | 5816a47fa4dd |
| 21277:bd380b80f9ea | 21278:ef8a3a2a72f2 |
|---|---|
692 if (f.equals(font)) { |
692 if (f.equals(font)) { |
693 return; |
693 return; |
694 } |
694 } |
695 font = f; |
695 font = f; |
696 } |
696 } |
697 // as it stands currently we dont need to do layout since |
697 // as it stands currently we don't need to do layout since |
698 // layout is done in the Component upon setFont. |
698 // layout is done in the Component upon setFont. |
699 //layout(); |
699 //layout(); |
700 repaint(); |
700 repaint(); |
701 } |
701 } |
702 |
702 |