280281282283284285286287288
* @param i the number to set. */ public void setFragmentCount(int i) { fragment_count = i; IREvent e = new IREvent(IREvent.FRAGMENT_COUNT_CHANGE, new Integer(i)); setChanged(); notifyObservers(e); }