petite/src/wombat/scheme/Petite.java
public void removePetiteListener(final PetiteListener pl) {
		SwingUtilities.invokeLater(new Runnable() {
			public void run() {
				Listeners.remove(pl);	
			}
		});
	}
/**
	 * Stop a certain Petite listener.
	 * @param pl The listener that we are watching.
	 */
Stop a certain Petite listener.
@param pl The listener that we are watching.
Stop a certain Petite listener . @param pl The listener that we are watching .
public void removePetiteListener(final PetiteListener pl) {
		SwingUtilities.invokeLater(new Runnable() {
			public void run() {
				Listeners.remove(pl);	
			}
		});
	}
public void removePetiteListener ( final PetiteListener pl ) { SwingUtilities . invokeLater ( new Runnable ( ) { public void run ( ) { Listeners . remove ( pl ) ; } } ) ; }
Stop a certain Petite listener.
Stop a certain Petite listener .