colin: Fri May 11 12:28:27 CEST 2001 Update of /usr/src/master/nhc/src/tracer/ui/nhctracer In directory hinken:/tmp/cvs-serv15897/nhctracer Modified Files: Case.java DbgPanel.java EDTNode.java Options.java TraceFrame.java TraceTree.java Log Message: Preparing for new options.