UI newui(Session sess) { ui = new UI(new Coord(w, h), sess); ui.root.gprof = prof; ui.fsm = this.fsm; return (ui); }
public void setfsm(FSMan fsm) { this.fsm = new SyncFSM(fsm); ui.fsm = this.fsm; }