}
} */
	    public void setSelected(String type) {	        if(type.equals(LayoutPlugin.VIEW_PAN_ZOOM)) {	            _panzoom_button.setSelected(true);	        }	        else if(type.equals(LayoutPlugin.VIEW_ROTATE)) {	            _rotate_button.setSelected(true);	        }	        	    }