#UI_ENHANCEMENT by cg
authorClaus Gittinger <cg@exept.de>
Fri, 23 Dec 2016 11:32:18 +0100
changeset 3365 51b676d98742
parent 3364 346ce31eefae
child 3366 70c6139984a6
#UI_ENHANCEMENT by cg class: MenuEditor
MenuEditor.st
--- a/MenuEditor.st	Fri Dec 23 11:31:43 2016 +0100
+++ b/MenuEditor.st	Fri Dec 23 11:32:18 2016 +0100
@@ -5031,7 +5031,7 @@
               translateLabel: true
             )
            (CheckBoxSpec
-              label: 'Trigger On Down'
+              label: 'Trigger on Down'
               name: 'triggerOnDown'
               layout: (AlignmentOrigin 25 0.5 238 0 0 0)
               activeHelpKey: triggerOnDown
@@ -5041,7 +5041,7 @@
               translateLabel: true
             )
            (CheckBoxSpec
-              label: 'Send To Originating Widget'
+              label: 'Send to Originating Widget'
               name: 'sendToOriginator'
               layout: (AlignmentOrigin 7 0 313 0 0 0)
               activeHelpKey: sendToOriginator