From b1f74c69d37da0cb8f086e635ec269341d35fc72 Mon Sep 17 00:00:00 2001 From: Edwin Jakobs Date: Thu, 16 Apr 2020 19:48:12 +0200 Subject: [PATCH] Fix label for OptionParameter in orx-gui --- orx-gui/src/main/kotlin/Gui.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/orx-gui/src/main/kotlin/Gui.kt b/orx-gui/src/main/kotlin/Gui.kt index 5ca6b67f..6adade0c 100644 --- a/orx-gui/src/main/kotlin/Gui.kt +++ b/orx-gui/src/main/kotlin/Gui.kt @@ -575,10 +575,10 @@ class GUI : Extension { } } ParameterType.Option -> { - println("yo option") dropdownButton { val enumProperty = parameter.property as KMutableProperty1> val value = enumProperty.get(obj) + label = parameter.label // -- this is dirty, but it is the only way to get the constants for arbitrary enums // -- (that I know of, at least) @Suppress("PLATFORM_CLASS_MAPPED_TO_KOTLIN") val jEnum = value as java.lang.Enum<*>