Thu, 12 Dec 2019 10:00:28 +0100 #BUGFIX by ca
ca [Thu, 12 Dec 2019 10:00:28 +0100] rev 6749
#BUGFIX by ca class: VerticalPanelView class definition changed: #beVisiblePostUpdate #storePreferredHeight:for:
Wed, 11 Dec 2019 13:16:08 +0100 #BUGFIX by ca
ca [Wed, 11 Dec 2019 13:16:08 +0100] rev 6748
#BUGFIX by ca class: VerticalPanelView class definition added: #storePreferredHeight:for: changed: #beVisiblePostUpdate
Tue, 10 Dec 2019 16:45:14 +0100 #BUGFIX by ca
ca [Tue, 10 Dec 2019 16:45:14 +0100] rev 6747
#BUGFIX by ca class: VerticalPanelView added: #beVisible #beVisiblePostUpdate windows: handle the vertical layout
Mon, 09 Dec 2019 22:37:20 +0100 #BUGFIX by cg
Claus Gittinger <cg@exept.de> [Mon, 09 Dec 2019 22:37:20 +0100] rev 6746
#BUGFIX by cg class: EditTextViewCompletionSupport changed: #editViewLostFocus codecompletion sometimes missing
Fri, 29 Nov 2019 20:45:23 +0100 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de> [Fri, 29 Nov 2019 20:45:23 +0100] rev 6745
#DOCUMENTATION by cg class: Workspace comment/format in: #error:position:to:from:asWarning:
Wed, 27 Nov 2019 12:20:54 +0100 #FEATURE by stefan
Stefan Vogel <sv@exept.de> [Wed, 27 Nov 2019 12:20:54 +0100] rev 6744
#FEATURE by stefan class: DialogBox changed: #addTextLabel: allow a ValueHolder as Label
Tue, 26 Nov 2019 04:28:23 +0000 update tags
convert-repo [Tue, 26 Nov 2019 04:28:23 +0000] rev 6743
update tags
Mon, 25 Nov 2019 15:13:53 +0100 #BUGFIX by cg
Claus Gittinger <cg@exept.de> [Mon, 25 Nov 2019 15:13:53 +0100] rev 6742
#BUGFIX by cg class: Workspace changed: #browseReferencesTo:
Mon, 25 Nov 2019 12:15:05 +0100 #BUGFIX by exept
Claus Gittinger <cg@exept.de> [Mon, 25 Nov 2019 12:15:05 +0100] rev 6741
#BUGFIX by exept class: InfoBox added: #xxlabel removed: #label comment/format in: #title: changed: #title
Sun, 24 Nov 2019 16:17:37 +0100 #BUGFIX by exept
Claus Gittinger <cg@exept.de> [Sun, 24 Nov 2019 16:17:37 +0100] rev 6740
#BUGFIX by exept class: EditTextViewCompletionSupport changed: #openCompletionView:
(0) -3000 -1000 -300 -100 -10 +10 +100 tip