Thu, 22 Nov 2018 10:08:37 +0100 #REFACTORING by stefan expeccoALM_1_13
Stefan Vogel <sv@exept.de> [Thu, 22 Nov 2018 10:08:37 +0100] rev 18531
#REFACTORING by stefan class: AbstractLauncherApplication changed: #exit
Wed, 21 Nov 2018 11:31:34 +0100 *** empty log message ***
Claus Gittinger <cg@exept.de> [Wed, 21 Nov 2018 11:31:34 +0100] rev 18530
*** empty log message ***
Tue, 20 Nov 2018 10:16:01 +0100 *** empty log message ***
Claus Gittinger <cg@exept.de> [Tue, 20 Nov 2018 10:16:01 +0100] rev 18529
*** empty log message ***
Mon, 19 Nov 2018 15:39:17 +0100 #OTHER by chzeiher
chzeiher [Mon, 19 Nov 2018 15:39:17 +0100] rev 18528
#OTHER by chzeiher class: JavaSwing::RunningJavaVM changed: #hasMatchingJavaVersionsForBridge Fixed a Typo in a String output
Sat, 17 Nov 2018 00:40:25 +0100 #FEATURE by cg
Claus Gittinger <cg@exept.de> [Sat, 17 Nov 2018 00:40:25 +0100] rev 18527
#FEATURE by cg class: FileDialog class changed: #windowSpec
Fri, 16 Nov 2018 16:14:30 +0100 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de> [Fri, 16 Nov 2018 16:14:30 +0100] rev 18526
#DOCUMENTATION by cg class: Tools::InlineMessageDialog comment/format in: #showProgressLabeled:while:
Tue, 13 Nov 2018 15:42:37 +0100 #BUGFIX by stefan
Stefan Vogel <sv@exept.de> [Tue, 13 Nov 2018 15:42:37 +0100] rev 18525
#BUGFIX by stefan class: AbstractFileBrowser changed: #lineEndConvention: fix \"nil asSymbol\"
Mon, 12 Nov 2018 19:01:03 +0100 #UI_ENHANCEMENT by cg
Claus Gittinger <cg@exept.de> [Mon, 12 Nov 2018 19:01:03 +0100] rev 18524
#UI_ENHANCEMENT by cg class: DebugView changed: #initializeButtons1In: #initializeButtons2In:
Sun, 11 Nov 2018 12:24:42 +0100 changed: #inspector2Tabs
Claus Gittinger <cg@exept.de> [Sun, 11 Nov 2018 12:24:42 +0100] rev 18523
changed: #inspector2Tabs scrollbar
Sat, 10 Nov 2018 00:40:40 +0100 #REFACTORING by cg
Claus Gittinger <cg@exept.de> [Sat, 10 Nov 2018 00:40:40 +0100] rev 18522
#REFACTORING by cg class: Tools::CodeView2::GutterView added: #computePreferredExtent removed: #preferredExtent
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip