726727728729730731732
/** * Use this method to update the chosen list box (i.e. after insertion or * removal of options) */ public void update() { ensureChosenHandlers().fireEvent(new UpdatedEvent()); }