Fri, 08 Jul 2011 13:31:51 +0200 changed: #highlightLine:fromLine:col:toLine:col:
Claus Gittinger <cg@exept.de> [Fri, 08 Jul 2011 13:31:51 +0200] rev 10291
changed: #highlightLine:fromLine:col:toLine:col: DNU when highlighting
Fri, 08 Jul 2011 13:31:36 +0200 added:
Claus Gittinger <cg@exept.de> [Fri, 08 Jul 2011 13:31:36 +0200] rev 10290
added: #editMenu_eclipseStyle #editMenu_stxStyle changed: #editMenu configurable menu items
Fri, 08 Jul 2011 13:16:03 +0200 changed: #interestingContextIndexIn:
Claus Gittinger <cg@exept.de> [Fri, 08 Jul 2011 13:16:03 +0200] rev 10289
changed: #interestingContextIndexIn: oops - leftover print
Fri, 08 Jul 2011 12:13:23 +0200 *** empty log message ***
Claus Gittinger <cg@exept.de> [Fri, 08 Jul 2011 12:13:23 +0200] rev 10288
*** empty log message ***
Fri, 08 Jul 2011 12:13:04 +0200 *** empty log message ***
Claus Gittinger <cg@exept.de> [Fri, 08 Jul 2011 12:13:04 +0200] rev 10287
*** empty log message ***
Fri, 08 Jul 2011 12:09:55 +0200 Fix DNU when generating accessors (forgot to merge #windowSpec:)
vrany [Fri, 08 Jul 2011 12:09:55 +0200] rev 10286
Fix DNU when generating accessors (forgot to merge #windowSpec:)
Fri, 08 Jul 2011 12:09:28 +0200 Tools_VariableList -> Tools__VariableList
Claus Gittinger <cg@exept.de> [Fri, 08 Jul 2011 12:09:28 +0200] rev 10285
Tools_VariableList -> Tools__VariableList
Fri, 08 Jul 2011 12:05:09 +0200 changed: #executeCollectedChangesNamed: fix in change confirmation code
vrany [Fri, 08 Jul 2011 12:05:09 +0200] rev 10284
changed: #executeCollectedChangesNamed: fix in change confirmation code
Fri, 08 Jul 2011 11:40:30 +0200 changed: #bookmarkMenu
Claus Gittinger <cg@exept.de> [Fri, 08 Jul 2011 11:40:30 +0200] rev 10283
changed: #bookmarkMenu national language strings
Fri, 08 Jul 2011 11:40:12 +0200 changed:
Claus Gittinger <cg@exept.de> [Fri, 08 Jul 2011 11:40:12 +0200] rev 10282
changed: #askForRangeFetchParameters #range1DialogSpec #rangeFetch: #rangeFetchPageAndExtractAll international language strings !
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip