equal
deleted
inserted
replaced
3553 } |
3553 } |
3554 |
3554 |
3555 private void readObject(ObjectInputStream s) |
3555 private void readObject(ObjectInputStream s) |
3556 throws ClassNotFoundException, IOException |
3556 throws ClassNotFoundException, IOException |
3557 { |
3557 { |
3558 s.defaultReadObject(); |
3558 ObjectInputStream.GetField f = s.readFields(); |
|
3559 int newBaseFontSize = f.get("baseFontSize", 0); |
|
3560 setBaseFontSize(newBaseFontSize); |
|
3561 |
3559 // Reconstruct the hashtable. |
3562 // Reconstruct the hashtable. |
3560 int numValues = s.readInt(); |
3563 int numValues = s.readInt(); |
3561 valueConvertor = new Hashtable<Object, Object>(Math.max(1, numValues)); |
3564 valueConvertor = new Hashtable<>(Math.max(1, numValues)); |
3562 while (numValues-- > 0) { |
3565 while (numValues-- > 0) { |
3563 Object key = s.readObject(); |
3566 Object key = s.readObject(); |
3564 Object value = s.readObject(); |
3567 Object value = s.readObject(); |
3565 Object staticKey = StyleContext.getStaticAttribute(key); |
3568 Object staticKey = StyleContext.getStaticAttribute(key); |
3566 if (staticKey != null) { |
3569 if (staticKey != null) { |