[cvs-nhc98] patch applied (hat): Interaction of Redex Trail browser with hat-observe and hat-detect.

[Malcolm Wallace]

Thu Oct 25 15:14:00 PDT 2001  thorsten
  * Interaction of Redex Trail browser with hat-observe and hat-detect.
  Double right mouse click on an identifier starts the observation tool,
  observing the all applications of the identifier.
  Double right mouse click on a redex starts the Algorithmic Debugging
  tool, allowing to analyse the evaluation of the redex.

    M ./src/old/trail/Connection.java +12
    M ./src/old/trail/DbgPanel.java +36
    M ./src/old/trail/MainPanel.java +4
    M ./src/old/trail/TraceFrame.java +1