PreferencesUtil.setShowIdInVocabularyInChecklistEditor(isShowIdInVocabulary);
}
});
+
+ final Button showSymbol = new Button(child, SWT.CHECK);
+ boolean isShowSymbol = PreferencesUtil.isShowSymbolInChecklistEditor();
+ showSymbol.setText("Show Symbol of the Status, if existing");
+ showSymbol.setSelection(isShowSymbol);
+ showSymbol.addSelectionListener(new SelectionAdapter(){
+ @Override
+ public void widgetSelected(SelectionEvent e) {
+ boolean isShowSymbol = showSymbol.getSelection();
+ PreferencesUtil.setShowSymbolInChecklistEditor(isShowSymbol);
+ }
+ });
PreferencesUtil.recursiveSetEnabled(button_openFeatureTree, CdmStore.isActive());
boolean isShowRank = PreferencesUtil.isShowRankInChecklistEditor();
final Button activateRankButton = new Button(child, SWT.CHECK);