Mon, 11 Jul 2016 14:58:16 +0200 #OTHER by mawalch
mawalch [Mon, 11 Jul 2016 14:58:16 +0200] rev 5155
#OTHER by mawalch class: Workflow::NamedElementsLibrary changed: #workflowFileSaveEncodingVector_V1 (send #elementDescriptorForNonNilInstanceVariables instead of #encodingVectorForNonNilInstanceVariables) Move away from deprecated API (Character asciiValue -> Character codePoint)
Fri, 08 Jul 2016 06:58:33 +0200 Merge jv
Merge Script [Fri, 08 Jul 2016 06:58:33 +0200] rev 5154
Merge
Thu, 07 Jul 2016 20:21:37 +0200 #OTHER by mawalch
mawalch [Thu, 07 Jul 2016 20:21:37 +0200] rev 5153
#OTHER by mawalch Spelling fixes.
Mon, 04 Jul 2016 06:51:20 +0200 Merge jv
Merge Script [Mon, 04 Jul 2016 06:51:20 +0200] rev 5152
Merge
Sun, 03 Jul 2016 10:09:48 +0200 #FEATURE by cg
Claus Gittinger <cg@exept.de> [Sun, 03 Jul 2016 10:09:48 +0200] rev 5151
#FEATURE by cg class: TerminalView added:5 methods comment/format in: #documentation changed: #doSendInterrupt #doSendKillSignal #editMenu #release
Fri, 01 Jul 2016 06:44:47 +0200 Merge jv
Merge Script [Fri, 01 Jul 2016 06:44:47 +0200] rev 5150
Merge
Thu, 30 Jun 2016 18:30:00 +0200 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de> [Thu, 30 Jun 2016 18:30:00 +0200] rev 5149
#DOCUMENTATION by cg class: TerminalView removed: #example comment/format in: #examples #inputTranslateBackspaceToDelete #inputTranslateCRToNL #inputTranslateCRToNL:
Thu, 30 Jun 2016 18:29:21 +0200 #TUNING by cg
Claus Gittinger <cg@exept.de> [Thu, 30 Jun 2016 18:29:21 +0200] rev 5148
#TUNING by cg class: ThumbWheel changed: #tellOthers shortcut if dependents are nil
Thu, 30 Jun 2016 18:28:53 +0200 #TUNING by cg
Claus Gittinger <cg@exept.de> [Thu, 30 Jun 2016 18:28:53 +0200] rev 5147
#TUNING by cg class: MenuPanel changed: #mustRearrange shortcut if dependents are nil
Thu, 30 Jun 2016 17:20:08 +0200 #OTHER by stefan
Stefan Vogel <sv@exept.de> [Thu, 30 Jun 2016 17:20:08 +0200] rev 5146
#OTHER by stefan class: DoWhatIMeanSupport changed: #codeCompletionForMethodSpec:into: fix DNU
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip