protected void frameActivated() {   p.send(); }
protected void frameActivated() { Actions.setEnabled(false, Actions.EN_ALL);  Actions.setEnabled(true, Actions.EN_COPY | Actions.EN_PLAY | Actions.EN_SEND  | Actions.EN_SEND_TO | Actions.EN_REASSIGN); }
	protected void frameActivated()	{	    // XXX: Do we really want to send the patch every	    //      time the editor gets focus?            p.send();	}