1514 // --- serialization --------------------------------------------- |
1514 // --- serialization --------------------------------------------- |
1515 |
1515 |
1516 private void readObject(ObjectInputStream s) |
1516 private void readObject(ObjectInputStream s) |
1517 throws ClassNotFoundException, IOException |
1517 throws ClassNotFoundException, IOException |
1518 { |
1518 { |
1519 s.defaultReadObject(); |
1519 ObjectInputStream.GetField f = s.readFields(); |
|
1520 |
|
1521 EventListenerList newListenerList = (EventListenerList) f.get("listenerList", null); |
|
1522 if (newListenerList == null) { |
|
1523 throw new InvalidObjectException("Null listenerList"); |
|
1524 } |
|
1525 listenerList = newListenerList; |
|
1526 component = (JTextComponent) f.get("component", null); |
|
1527 updatePolicy = f.get("updatePolicy", 0); |
|
1528 visible = f.get("visible", false); |
|
1529 active = f.get("active", false); |
|
1530 dot = f.get("dot", 0); |
|
1531 mark = f.get("mark", 0); |
|
1532 selectionTag = f.get("selectionTag", null); |
|
1533 selectionVisible = f.get("selectionVisible", false); |
|
1534 flasher = (Timer) f.get("flasher", null); |
|
1535 magicCaretPosition = (Point) f.get("magicCaretPosition", null); |
|
1536 dotLTR = f.get("dotLTR", false); |
|
1537 markLTR = f.get("markLTR", false); |
|
1538 ownsSelection = f.get("ownsSelection", false); |
|
1539 forceCaretPositionChange = f.get("forceCaretPositionChange", false); |
|
1540 caretWidth = f.get("caretWidth", 0); |
|
1541 aspectRatio = f.get("aspectRatio", 0.0f); |
|
1542 |
1520 handler = new Handler(); |
1543 handler = new Handler(); |
1521 if (!s.readBoolean()) { |
1544 if (!s.readBoolean()) { |
1522 dotBias = Position.Bias.Forward; |
1545 dotBias = Position.Bias.Forward; |
1523 } |
1546 } |
1524 else { |
1547 else { |