adds a new ui decorator from the decorator handler . concode_field_sep ArrayList<String> UIDecoratorsIDs concode_elem_sep IDecoratorManager decoratorManager concode_elem_sep String NAVIGATOR_DECORATOR_ID concode_field_sep void refresh concode_elem_sep void refresh concode_elem_sep void removeUIDecoratorsID concode_elem_sep IDecoratorManager getDecoratorManager
void function ( String arg0 ) { synchronized ( UIDecoratorsIDs ) { if ( ! UIDecoratorsIDs . contains ( arg0 ) ) { UIDecoratorsIDs . add ( arg0 ) ; } } }