@Override
            public void widgetSelected(SelectionEvent e) {
                String elementName = ce_element.getItem(ce_element.getSelectionIndex());
                String elementType = scheme.getElements().get(elementName);
                ce_type.select(ce_type.indexOf(elementType));
            }