Tue, 11 Oct 2016 02:53:15 +0200 osx packaging
Claus Gittinger <cg@exept.de> [Tue, 11 Oct 2016 02:53:15 +0200] rev 1459
osx packaging
Mon, 10 Oct 2016 14:06:34 +0200 osx install
Claus Gittinger <cg@exept.de> [Mon, 10 Oct 2016 14:06:34 +0200] rev 1458
osx install
Tue, 04 Oct 2016 19:46:43 +0200 #OTHER
mawalch [Tue, 04 Oct 2016 19:46:43 +0200] rev 1457
#OTHER Fix typo.
Thu, 29 Sep 2016 10:45:31 +0200 oops again
matilk [Thu, 29 Sep 2016 10:45:31 +0200] rev 1456
oops again
Thu, 29 Sep 2016 10:44:57 +0200 bugfix
matilk [Thu, 29 Sep 2016 10:44:57 +0200] rev 1455
bugfix
Sun, 04 Sep 2016 20:30:44 +0100 Another workaround for custom font settings jv
Jan Vrany <jan.vrany@fit.cvut.cz> [Sun, 04 Sep 2016 20:30:44 +0100] rev 1454
Another workaround for custom font settings Force read of view stylesheet during IDE startup, before custom preferences are read. This is required since recent changes (made at eXept) makes stylesheet initialization lazy. This is generally good, but it calls #updateAllStyleCaches which resets any custom fonts. So in the end, all custom fonts settings are overwritten when the lazy-initialization is done *after* reading preferences. To prevent this happening, force stylesheet initialization early. Sigh, this is all a consequence of a fact that font preferences were dirty-hacked later a code was never cleaned up. And of the fact that whole UserPreferences implementation is plain wrong...
Mon, 29 Aug 2016 15:41:28 +0100 Merge jv
Jan Vrany <jan.vrany@fit.cvut.cz> [Mon, 29 Aug 2016 15:41:28 +0100] rev 1453
Merge
Wed, 24 Aug 2016 04:05:36 +0000 update tags
convert-repo [Wed, 24 Aug 2016 04:05:36 +0000] rev 1452
update tags
Tue, 23 Aug 2016 18:20:19 +0200 bug fix - wrong message send for convertSelection (F6)
Claus Gittinger <cg@exept.de> [Tue, 23 Aug 2016 18:20:19 +0200] rev 1451
bug fix - wrong message send for convertSelection (F6)
Mon, 04 Jul 2016 23:47:55 +0100 Bumped version to 6.2.6 jv
Jan Vrany <jan.vrany@fit.cvut.cz> [Mon, 04 Jul 2016 23:47:55 +0100] rev 1450
Bumped version to 6.2.6
(0) -1000 -300 -100 -10 +10 +100 tip