colin: Thu Apr 12 13:22:41 CEST 2001 Update of /usr/src/master/nhc/src/tracer/ui/nhctracer In directory hinken:/tmp/cvs-serv1572 Modified Files: DbgPanel.java EDTParser.java MainPanel.java NhcTracer.java SourceViewer.java Removed Files: DemoPanel.java GIFEncoder.java HString.java NhcApplet.java Pruned.java Log Message: Discarded obsolete classes; fixed bugs with shift + click.