Wed, 18 Dec 2019 22:26:39 +0100 *** empty log message *** expecco_19_2_0 expecco_19_2_0_43 expecco_19_2_0_44
Claus Gittinger <cg@exept.de> [Wed, 18 Dec 2019 22:26:39 +0100] rev 8941
*** empty log message ***
Wed, 18 Dec 2019 22:26:10 +0100 *** empty log message ***
Claus Gittinger <cg@exept.de> [Wed, 18 Dec 2019 22:26:10 +0100] rev 8940
*** empty log message ***
Wed, 18 Dec 2019 19:07:40 +0100 regenerated
Claus Gittinger <cg@exept.de> [Wed, 18 Dec 2019 19:07:40 +0100] rev 8939
regenerated
Wed, 18 Dec 2019 17:34:21 +0100 *** empty log message ***
Claus Gittinger <cg@exept.de> [Wed, 18 Dec 2019 17:34:21 +0100] rev 8938
*** empty log message ***
Wed, 18 Dec 2019 10:32:54 +0100 #REFACTORING by cg
Claus Gittinger <cg@exept.de> [Wed, 18 Dec 2019 10:32:54 +0100] rev 8937
#REFACTORING by cg class: SimpleView removed:16 methods FIX: these methods are needed in superclass (to be understood by rootview)
Wed, 18 Dec 2019 10:32:30 +0100 #REFACTORING by cg
Claus Gittinger <cg@exept.de> [Wed, 18 Dec 2019 10:32:30 +0100] rev 8936
#REFACTORING by cg class: DisplaySurface added:16 methods FIX: these methods are needed here (to be understood by rootview)
Wed, 18 Dec 2019 10:32:14 +0100 #REFACTORING by cg
Claus Gittinger <cg@exept.de> [Wed, 18 Dec 2019 10:32:14 +0100] rev 8935
#REFACTORING by cg class: DisplayRootView removed:16 methods oops
Wed, 18 Dec 2019 10:31:38 +0100 #REFACTORING by cg
Claus Gittinger <cg@exept.de> [Wed, 18 Dec 2019 10:31:38 +0100] rev 8934
#REFACTORING by cg class: DisplayRootView added:16 methods FIX: these methods are needed here (to be understood by rootview)
Tue, 17 Dec 2019 20:25:07 +0100 #UI_ENHANCEMENT by cg
Claus Gittinger <cg@exept.de> [Tue, 17 Dec 2019 20:25:07 +0100] rev 8933
#UI_ENHANCEMENT by cg class: WindowGroup changed: #focusRequestFrom: fix: if the previous focus view is gone, grant a focus request.
Tue, 17 Dec 2019 17:41:19 +0100 *** empty log message ***
Claus Gittinger <cg@exept.de> [Tue, 17 Dec 2019 17:41:19 +0100] rev 8932
*** empty log message ***
(0) -3000 -1000 -300 -100 -10 +10 +100 tip