Wed, 09 Jul 2014 17:04:42 +0200 class: SelectionInListView
Claus Gittinger <cg@exept.de> [Wed, 09 Jul 2014 17:04:42 +0200] rev 5108
class: SelectionInListView changed: #attributeAt:put: (send #newWithSize: instead of #withSize:)
Wed, 09 Jul 2014 16:48:50 +0200 class: EditTextView
Claus Gittinger <cg@exept.de> [Wed, 09 Jul 2014 16:48:50 +0200] rev 5107
class: EditTextView changed: #pasteAsStringLiteral past string - not text
Wed, 09 Jul 2014 04:01:32 +0200 class: EditTextView
Claus Gittinger <cg@exept.de> [Wed, 09 Jul 2014 04:01:32 +0200] rev 5106
class: EditTextView changed: #initialize oops - only autoindent in code views
Wed, 09 Jul 2014 04:01:04 +0200 class: Workspace
Claus Gittinger <cg@exept.de> [Wed, 09 Jul 2014 04:01:04 +0200] rev 5105
class: Workspace changed: #initialize oops - only autoindent in code views
Wed, 09 Jul 2014 03:58:34 +0200 class: EditTextView
Claus Gittinger <cg@exept.de> [Wed, 09 Jul 2014 03:58:34 +0200] rev 5104
class: EditTextView changed: #initialize autoindent initialization
Wed, 09 Jul 2014 03:58:14 +0200 class: Workspace
Claus Gittinger <cg@exept.de> [Wed, 09 Jul 2014 03:58:14 +0200] rev 5103
class: Workspace changed: #initialize autoindent initialization in superview
Wed, 09 Jul 2014 01:20:57 +0200 class: FontPanel
Claus Gittinger <cg@exept.de> [Wed, 09 Jul 2014 01:20:57 +0200] rev 5102
class: FontPanel changed: #fontForPreview #initialize #okPressed
Tue, 08 Jul 2014 23:42:06 +0200 class: Scroller
Claus Gittinger <cg@exept.de> [Tue, 08 Jul 2014 23:42:06 +0200] rev 5101
class: Scroller changed: #initStyle (send #gray instead of #grey)
Tue, 08 Jul 2014 23:40:54 +0200 class: SelectionInListView
Claus Gittinger <cg@exept.de> [Tue, 08 Jul 2014 23:40:54 +0200] rev 5100
class: SelectionInListView class definition changed: #initStyle #updateStyleCache grey -> gray
Tue, 08 Jul 2014 23:39:46 +0200 class: TextView
Claus Gittinger <cg@exept.de> [Tue, 08 Jul 2014 23:39:46 +0200] rev 5099
class: TextView changed: #initStyle (send #gray instead of #grey)
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip