addBufferChangeListener(listener,NORMAL_PRIORITY);
Listener l = new Listener(listener,priority); for(int i = 0; i < bufferListeners.size(); i++) { Listener _l = (Listener)bufferListeners.get(i); if(_l.priority < priority) { bufferListeners.insertElementAt(l,i); return; } } bufferListeners.addElement(l);
	public void addBufferChangeListener(BufferChangeListener listener)	{		addBufferChangeListener(listener,NORMAL_PRIORITY);	} //}}}