import java.io.IOException;
import java.util.ArrayList;
-import java.util.Collections;
import java.util.Map;
import java.util.function.Consumer;
import org.eclipse.swt.widgets.FontDialog;
import org.simantics.Simantics;
import org.simantics.browsing.ui.NodeContext;
-import org.simantics.browsing.ui.common.modifiers.EnumerationValue;
import org.simantics.browsing.ui.content.Labeler.DialogModifier;
-import org.simantics.browsing.ui.graph.impl.GetEnumerationValue;
import org.simantics.common.format.Formatter;
import org.simantics.databoard.Bindings;
import org.simantics.databoard.Datatypes;
import org.simantics.ui.selection.WorkbenchSelectionElement;
import org.simantics.ui.selection.WorkbenchSelectionUtils;
import org.simantics.utils.datastructures.collections.CollectionUtils;
-import org.simantics.utils.strings.AlphanumComparator;
import org.simantics.utils.ui.AdaptionUtils;
import org.simantics.utils.ui.ErrorLogger;
import org.simantics.utils.ui.ISelectionUtils;
Resource parameterResource = parameter.getRepresents(graph);
if(graph.sync(new IsEnumeratedValue(parameterResource))) {
Map<String, Resource> map = graph.sync(new InstanceEnumerationMap(parameterResource));
- ArrayList<String> values = new ArrayList<>(map.keySet());
- Collections.sort(values, AlphanumComparator.COMPARATOR);
- return values;
+ return new ArrayList<String>(map.keySet());
} else if(graph.isInstanceOf(parameterResource, L0.Boolean)) {
return CollectionUtils.toList("true", "false");
}
value = formatterFunction.apply(property.getValue(graph));
}
}
-
- Resource possibleValue = context.getParent(graph).getPossibleRepresents(graph);
- if(possibleValue != null) {
- if(graph.syncRequest(new IsEnumeratedValue(possibleValue))) {
- return GetEnumerationValue.getEnumerationValueName(graph, possibleValue);
- }
- }
-
if(value == null) {
Variant variant = property.getVariantValue(graph);
String parsedLabel = (String)_value;
Object value = parsedLabel;
- boolean isEnumeration = false;
- Resource possibleValue = context.getParent(graph).getPossibleRepresents(graph);
- if(possibleValue != null) {
- isEnumeration = graph.syncRequest(new IsEnumeratedValue(possibleValue));
- }
-
Datatype type = context.getParent(graph).getPossibleDatatype(graph);
- if (type != null && !isEnumeration) {
+ if (type != null) {
Binding binding = Bindings.getBinding(type);