Sun, 15 May 2016 06:58:33 +0200 Merge jv
Merge Script [Sun, 15 May 2016 06:58:33 +0200] rev 16596
Merge
Sat, 14 May 2016 19:21:33 +0200 #TUNING by cg
Claus Gittinger <cg@exept.de> [Sat, 14 May 2016 19:21:33 +0200] rev 16595
#TUNING by cg class: Tools::NewSystemBrowser changed: #smalllintRunRule:onEnvironment: spends most of the time in the progressindicator; easy tuning for a big speedup, by not displaying every ongoing operation.
Sat, 14 May 2016 16:52:19 +0200 #OTHER by cg
Claus Gittinger <cg@exept.de> [Sat, 14 May 2016 16:52:19 +0200] rev 16594
#OTHER by cg class: Tools::NewSystemBrowser class definition changed: #spawnMethodImplementorsBrowserFor:match:in:classes:label:
Sat, 14 May 2016 16:49:44 +0200 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de> [Sat, 14 May 2016 16:49:44 +0200] rev 16593
#DOCUMENTATION by cg class: AbstractSettingsApplication changed: #windowSpecForDialog typo
Sat, 14 May 2016 16:48:51 +0200 #REFACTORING by cg
Claus Gittinger <cg@exept.de> [Sat, 14 May 2016 16:48:51 +0200] rev 16592
#REFACTORING by cg class: FileBrowserV2UISpecifications
Sat, 14 May 2016 16:48:17 +0200 #OTHER by cg
Claus Gittinger <cg@exept.de> [Sat, 14 May 2016 16:48:17 +0200] rev 16591
#OTHER by cg changed: #windowSpec geometry
Sat, 14 May 2016 16:48:12 +0200 #OTHER by cg
Claus Gittinger <cg@exept.de> [Sat, 14 May 2016 16:48:12 +0200] rev 16590
#OTHER by cg changed: #windowSpec geometry
Sat, 14 May 2016 16:48:09 +0200 #OTHER by cg
Claus Gittinger <cg@exept.de> [Sat, 14 May 2016 16:48:09 +0200] rev 16589
#OTHER by cg changed: #windowSpec geometry
Sat, 14 May 2016 16:47:51 +0200 #UI_ENHANCEMENT by cg
Claus Gittinger <cg@exept.de> [Sat, 14 May 2016 16:47:51 +0200] rev 16588
#UI_ENHANCEMENT by cg class: Tools::LintRuleSelectionDialog changed: #windowSpec geometry
Sat, 14 May 2016 16:26:36 +0200 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de> [Sat, 14 May 2016 16:26:36 +0200] rev 16587
#DOCUMENTATION by cg class: Tools::CodeView2 comment/format in: #initializeServices
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip