navPanel.setUseToolTips(true);
    public OMToolSet() {	super();	Debug.message("omtoolset", "OMToolSet()");	setLayout(new FlowLayout(FlowLayout.LEFT));	navPanel = new NavigatePanel();	navPanel.setPreferredSize(new Dimension(navPanel.getWidth(), 						navPanel.getHeight()));	navPanel.setMaximumSize(new Dimension(navPanel.getWidth(), 					      navPanel.getHeight()));	navPanel.setUseToolTips(true);	zoomPanel = new ZoomPanel();	scaleField = new ScaleTextPanel();	add(navPanel);	add(zoomPanel);	add(scaleField);	createFace();    }