[cvs-nhc98] patch applied (hat): New communication protocol to support accurate yellow and blue annotation.

[Malcolm Wallace]

Fri May 18 04:46:26 PDT 2001  colin
  * New communication protocol to support accurate yellow and blue annotation.
  Better clean-up on closing window.

    M ./src/old/trail/Bottom.java -10 +13
    M ./src/old/trail/Case.java -15 +14
    M ./src/old/trail/CharList.java -7 +12
    M ./src/old/trail/CutOffTree.java -14 +8
    M ./src/old/trail/DbgPanel.java -11 +9
    M ./src/old/trail/EDTNode.java -14 +17
    M ./src/old/trail/EDTParser.java -107 +108
    M ./src/old/trail/EDTStructuredNode.java -21 +18
    M ./src/old/trail/Hidden.java -4 +7
    M ./src/old/trail/IdName.java -16 +10
    M ./src/old/trail/OutputPanel.java -1 +1
    M ./src/old/trail/Pruned.java -3 +4
    M ./src/old/trail/Redex.java -4 +7
    M ./src/old/trail/Trace.java -5 +4
    M ./src/old/trail/TraceFrame.java +5
    M ./src/old/trail/TraceTree.java -3 +4