Mon, 15 Jul 2019 18:53:35 +0200 *** empty log message ***
Claus Gittinger <cg@exept.de> [Mon, 15 Jul 2019 18:53:35 +0200] rev 18903
*** empty log message ***
Mon, 15 Jul 2019 18:47:18 +0200 *** empty log message ***
Claus Gittinger <cg@exept.de> [Mon, 15 Jul 2019 18:47:18 +0200] rev 18902
*** empty log message ***
Mon, 15 Jul 2019 18:46:03 +0200 *** empty log message ***
Claus Gittinger <cg@exept.de> [Mon, 15 Jul 2019 18:46:03 +0200] rev 18901
*** empty log message ***
Mon, 15 Jul 2019 15:54:49 +0200 #TUNING by cg
Claus Gittinger <cg@exept.de> [Mon, 15 Jul 2019 15:54:49 +0200] rev 18900
#TUNING by cg class: SystemBrowser class changed: #searchBlockForCode:in:isMethod: tuned search for methods with code if selector is known
Mon, 15 Jul 2019 15:35:34 +0200 #OTHER by cg
Claus Gittinger <cg@exept.de> [Mon, 15 Jul 2019 15:35:34 +0200] rev 18899
#OTHER by cg unneeded subProjects method removed (already inherited)
Sat, 13 Jul 2019 16:02:10 +0200 #BUGFIX by cg
Claus Gittinger <cg@exept.de> [Sat, 13 Jul 2019 16:02:10 +0200] rev 18898
#BUGFIX by cg class: WorkspaceApplication changed: #bookmarkMenu
Sat, 13 Jul 2019 14:29:44 +0200 *** empty log message ***
Claus Gittinger <cg@exept.de> [Sat, 13 Jul 2019 14:29:44 +0200] rev 18897
*** empty log message ***
Sat, 13 Jul 2019 14:11:20 +0200 #BUGFIX by cg
Claus Gittinger <cg@exept.de> [Sat, 13 Jul 2019 14:11:20 +0200] rev 18896
#BUGFIX by cg class: SystemBrowser class added: #findString:inMethods:ignoreCase:match:resourceMethodsOnly:
Sat, 13 Jul 2019 14:00:30 +0200 #BUGFIX by cg
Claus Gittinger <cg@exept.de> [Sat, 13 Jul 2019 14:00:30 +0200] rev 18895
#BUGFIX by cg class: BookmarkMenuBuilder changed: #menuItemAddBookmark:labeled:
Sat, 13 Jul 2019 13:59:16 +0200 #UI_ENHANCEMENT by cg
Claus Gittinger <cg@exept.de> [Sat, 13 Jul 2019 13:59:16 +0200] rev 18894
#UI_ENHANCEMENT by cg class: BookmarkMenuBuilder class definition removed: #resources: comment/format in: #menuItemAddBookmark: changed: #initialize #menuItemAddBookmark:labeled:
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip