From ea0264b345eacff7eedb43224ec1561e3eaad6f9 Mon Sep 17 00:00:00 2001 From: Tim Steenvoorden Date: Mon, 10 Jun 2019 15:18:23 +0200 Subject: [PATCH] make labels longer --- Examples/DynamicEditor/DynEditorExample.icl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Examples/DynamicEditor/DynEditorExample.icl b/Examples/DynamicEditor/DynEditorExample.icl index b96db94dc..1f5bd5dfe 100644 --- a/Examples/DynamicEditor/DynEditorExample.icl +++ b/Examples/DynamicEditor/DynEditorExample.icl @@ -155,7 +155,7 @@ where -> Typed TaskContExpr (a -> Task b) ) <<@@@ HideIfOnlyChoice - <<@@@ AddLabels [Just "name", Just "pred", Just "cont"] + <<@@@ AddLabels [Just "name", Just "predicate", Just "continuation"] ] , DynamicConsGroup "Editors" [ functionConsDyn "Apply" "apply" -- GitLab