134135136137138139140141142143144
control.setData(page); } activateView(getPart().getPreferenceStore().getInt(identifier)); model.addListener(new TaxonomyModelChangeListener() { @Override public void nodeChange(TaxonomyNode node) { markDirty();