void setInputWindowEnd(int value) { int w = view.getDomainPane().getWavelengths().getSelectedIndex(); setInputWindowEnd(value, w); }
void setInputWindowEnd(int value, int w) { DomainPaneManager dpManager = view.getDomainPane().getManager(); GraphicsRepresentationManager grManager = view.getGRepresentation().getManager(); dpManager.setInputWindowEnd(value); grManager.setInputWindowEnd(value, getGlobalChannelWindowStart(w), getGlobalChannelWindowEnd(w)); }
	void setInputWindowEnd(int value) 	{		int w = view.getDomainPane().getWavelengths().getSelectedIndex();		setInputWindowEnd(value, w);	}