[cvs-nhc98] Help panels added, shared selection removed, various minor

User colin colin@sparud.net
Tue, 15 May 2001 15:11:31 +0200 (CEST)


colin: Tue May 15 15:11:31 CEST 2001

Update of /usr/src/master/nhc/src/tracer/ui/nhctracer
In directory hinken:/tmp/cvs-serv27592

Modified Files:
	Bottom.java Case.java CharList.java Connection.java 
	CutOffTree.java DbgPanel.java EDTNode.java 
	EDTStructuredNode.java HatTrail.java Hidden.java IdName.java 
	Options.java OutputPanel.java Pruned.java Redex.java 
	SourceViewer.java TraceFrame.java TraceTree.java 
Added Files:
	Help.java Symbols.java 
Log Message:
Help panels added, shared selection removed, various minor bug-fixes.