Fri, 14 Jul 2017 11:46:02 +0200 #REFACTORING by cg
Claus Gittinger <cg@exept.de> [Fri, 14 Jul 2017 11:46:02 +0200] rev 3450
#REFACTORING by cg class: UIPainter class changed: #helpIcon called an obsolete method
Wed, 14 Jun 2017 04:04:44 +0000 update tags
convert-repo [Wed, 14 Jun 2017 04:04:44 +0000] rev 3449
update tags
Tue, 13 Jun 2017 17:30:31 +0200 #REFACTORING by mawalch
mawalch [Tue, 13 Jun 2017 17:30:31 +0200] rev 3448
#REFACTORING by mawalch class: Tools::InternationalLanguageTranslationEditor class changed: #keyStringAndLanguageSelectionTableMenu false is not a Symbol
Tue, 13 Jun 2017 17:17:30 +0200 #REFACTORING by mawalch
mawalch [Tue, 13 Jun 2017 17:17:30 +0200] rev 3447
#REFACTORING by mawalch class: Tools::InternationalLanguageTranslationEditor class changed: #mainMenu false is not a Symbol
Wed, 17 May 2017 03:50:53 +0000 update tags
convert-repo [Wed, 17 May 2017 03:50:53 +0000] rev 3446
update tags
Tue, 16 May 2017 17:52:14 +0200 #DOCUMENTATION by mawalch
mawalch [Tue, 16 May 2017 17:52:14 +0200] rev 3445
#DOCUMENTATION by mawalch class: UIObjectView comment/format in: #centerSelection:orientation:
Thu, 11 May 2017 13:31:27 +0200 #OTHER by mawalch
mawalch [Thu, 11 May 2017 13:31:27 +0200] rev 3444
#OTHER by mawalch Spelling fixes.
Fri, 21 Apr 2017 16:06:22 +0200 #BUGFIX by cg
Claus Gittinger <cg@exept.de> [Fri, 21 Apr 2017 16:06:22 +0200] rev 3443
#BUGFIX by cg class: ImageEditor comment/format in: #colorCropTabSelectionIndexChanged #preferredExtent class: ImageEditor class changed: #fillCircleIcon #windowSpec
Wed, 12 Apr 2017 15:58:35 +0200 #UI_ENHANCEMENT by expecco
Claus Gittinger <cg@exept.de> [Wed, 12 Apr 2017 15:58:35 +0200] rev 3442
#UI_ENHANCEMENT by expecco class: ImageEditor class changed: #circleIcon #specialCircleIcon #specialRectangleIcon
Wed, 12 Apr 2017 09:34:34 +0200 #UI_ENHANCEMENT by cg
Claus Gittinger <cg@exept.de> [Wed, 12 Apr 2017 09:34:34 +0200] rev 3441
#UI_ENHANCEMENT by cg class: ImageEditor class changed: #menuEdit crop menu for sr
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 tip