UserPreferences.st
Wed, 08 Feb 2017 19:04:45 +0100 Claus Gittinger #UI_ENHANCEMENT by cg
Fri, 13 Jan 2017 23:33:10 +0000 HG Automerge Merge jv
Sun, 18 Dec 2016 11:19:27 +0000 Jan Vrany Merge jv
Thu, 12 Jan 2017 15:02:21 +0100 Claus Gittinger #REFACTORING by cg
Thu, 12 Jan 2017 15:01:03 +0100 Claus Gittinger #REFACTORING by cg
Sun, 11 Dec 2016 19:04:24 +0100 Claus Gittinger #BUGFIX by cg expecco_2_10_0 expecco_2_10_0_41
Fri, 25 Nov 2016 07:07:27 +0100 Merge Script Merge jv
Thu, 24 Nov 2016 17:59:13 +0100 Claus Gittinger #UI_ENHANCEMENT by cg
Thu, 24 Nov 2016 15:43:40 +0100 mawalch #FEATURE by mawalch
Fri, 18 Nov 2016 20:48:04 +0000 Jan Vrany Merge jv
Mon, 07 Nov 2016 14:18:30 +0100 Stefan Vogel #REFACTORING by stefan
Mon, 07 Nov 2016 10:46:40 +0100 Claus Gittinger #FEATURE by cg
Sat, 05 Nov 2016 14:04:35 +0100 Claus Gittinger #UI_ENHANCEMENT by cg
Fri, 04 Nov 2016 16:24:48 +0100 Claus Gittinger #DOCUMENTATION by cg
Tue, 25 Oct 2016 12:31:42 +0100 Jan Vrany Merge jv
Wed, 02 Nov 2016 16:22:32 +0100 Claus Gittinger #QUALITY by cg
Mon, 17 Oct 2016 00:18:39 +0200 Claus Gittinger #FEATURE by cg
Thu, 13 Oct 2016 23:16:04 +0200 Claus Gittinger #FEATURE by cg
Wed, 12 Oct 2016 19:56:35 +0200 Claus Gittinger #QUALITY by cg
Wed, 12 Oct 2016 15:59:35 +0200 Claus Gittinger #BUGFIX by cg
Fri, 12 Aug 2016 06:44:59 +0200 Merge Script Merge jv
Thu, 11 Aug 2016 19:00:34 +0200 mawalch #DOCUMENTATION by mawalch
Sat, 09 Jul 2016 21:10:24 +0100 Jan Vrany Merge jv
Thu, 07 Jul 2016 20:21:32 +0200 mawalch #OTHER by mawalch
Thu, 09 Jun 2016 08:35:29 +0100 Jan Vrany Merge jv
Thu, 09 Jun 2016 01:47:28 +0100 Jan Vrany Merge jv
Wed, 08 Jun 2016 11:37:13 +0200 Claus Gittinger #FEATURE by cg
Mon, 06 Jun 2016 11:18:35 +0200 Claus Gittinger *** empty log message ***
Mon, 06 Jun 2016 10:44:24 +0200 Claus Gittinger #DOCUMENTATION by cg
Mon, 06 Jun 2016 10:43:12 +0200 Claus Gittinger #BUGFIX by cg
Wed, 01 Jun 2016 14:11:19 +0100 Jan Vrany Merge jv
Tue, 31 May 2016 16:00:26 +0200 Claus Gittinger #FEATURE by cg
Tue, 17 May 2016 10:05:14 +0100 Jan Vrany Merge jv
Mon, 16 May 2016 23:56:49 +0200 Claus Gittinger #UI_ENHANCEMENT by cg
Fri, 13 May 2016 20:17:32 +0200 Jan Vrany Merge jv
Thu, 12 May 2016 09:30:28 +0200 Jan Vrany Merge jv
Thu, 12 May 2016 17:32:56 +0200 Claus Gittinger #DOCUMENTATION by cg
Wed, 11 May 2016 16:25:54 +0200 Claus Gittinger lazy Xft font allocation makes startup faster
Wed, 11 May 2016 13:33:18 +0200 Claus Gittinger #FEATURE by cg
Sun, 08 May 2016 02:41:04 +0200 Claus Gittinger #FEATURE by cg
Thu, 05 May 2016 06:48:19 +0200 Merge Script Merge jv
Wed, 04 May 2016 12:22:31 +0200 Claus Gittinger #REFACTORING by cg
Tue, 03 May 2016 11:13:43 +0200 Jan Vrany Merge jv
Sun, 01 May 2016 21:16:05 +0200 Claus Gittinger #UI_ENHANCEMENT by cg
Fri, 22 Apr 2016 08:34:39 +0100 Jan Vrany Merge jv
Thu, 21 Apr 2016 17:34:14 +0200 Claus Gittinger #DOCUMENTATION by cg
Thu, 21 Apr 2016 17:26:29 +0200 Claus Gittinger #FEATURE by cg
Thu, 21 Apr 2016 17:20:23 +0200 Claus Gittinger #BUGFIX by cg
Thu, 21 Apr 2016 17:11:30 +0200 Claus Gittinger #TUNING by cg
Thu, 21 Apr 2016 16:54:14 +0200 Claus Gittinger #BUGFIX by cg
Mon, 18 Apr 2016 07:17:25 +0100 Jan Vrany Merge jv
Thu, 14 Apr 2016 12:55:00 +0200 Stefan Vogel #REFACTORING by stefan
Thu, 14 Apr 2016 06:38:20 +0200 Merge Script Merge jv
Wed, 13 Apr 2016 09:27:57 +0200 Stefan Vogel #DOCUMENTATION by stefan
Wed, 13 Apr 2016 09:24:12 +0200 Stefan Vogel #BUGFIX by stefan
Tue, 29 Mar 2016 08:38:24 +0100 Jan Vrany Merge jv
Mon, 28 Mar 2016 22:55:31 +0200 Claus Gittinger #REFACTORING
Sat, 26 Mar 2016 07:56:10 +0000 Jan Vrany Merge jv
Fri, 25 Mar 2016 19:35:45 +0100 Claus Gittinger #BUGFIX
Tue, 22 Mar 2016 08:03:27 +0000 Jan Vrany Merge jv
Mon, 21 Mar 2016 07:50:50 +0000 Jan Vrany Merge jv
Mon, 21 Mar 2016 16:31:14 +0100 Claus Gittinger #DOCUMENTATION
Sun, 20 Mar 2016 13:37:34 +0100 Claus Gittinger #FEATURE
Thu, 10 Mar 2016 08:13:13 +0000 Jan Vrany Merge jv
Thu, 10 Mar 2016 00:48:19 +0100 Claus Gittinger #BUGFIX
Sat, 27 Feb 2016 12:59:25 +0000 Jan Vrany Merge jv
Fri, 26 Feb 2016 13:09:42 +0100 Claus Gittinger #REFACTORING
Sat, 23 Jan 2016 07:23:05 +0000 Jan Vrany Merge jv
Fri, 22 Jan 2016 20:21:51 +0100 Claus Gittinger #FEATURE
Fri, 20 Nov 2015 08:56:52 +0000 Jan Vrany Merge jv
Thu, 19 Nov 2015 17:24:20 +0100 Claus Gittinger #REFACTORING
Thu, 19 Nov 2015 12:24:04 +0100 Claus Gittinger #DOCUMENTATION
Thu, 19 Nov 2015 12:06:44 +0100 Claus Gittinger #OTHER
Thu, 29 Oct 2015 06:54:02 +0100 Merge Script Merge jv
Wed, 28 Oct 2015 18:49:27 +0100 Claus Gittinger #DOCUMENTATION
Wed, 28 Oct 2015 16:42:45 +0100 Claus Gittinger #UI_ENHANCEMENT
Thu, 15 Oct 2015 06:57:29 +0200 Merge Script Merge jv
Thu, 15 Oct 2015 04:01:58 +0200 Claus Gittinger #BUGFIX
Thu, 15 Oct 2015 03:59:59 +0200 Claus Gittinger #BUGFIX
Thu, 15 Oct 2015 01:58:31 +0200 Claus Gittinger #FEATURE
Thu, 15 Oct 2015 01:38:37 +0200 Claus Gittinger #BUGFIX
Mon, 12 Oct 2015 07:06:31 +0200 Merge Script Merge jv
Sun, 11 Oct 2015 10:28:06 +0200 Claus Gittinger #BUGFIX
Wed, 07 Oct 2015 06:51:59 +0200 Merge Script Merge jv
Wed, 07 Oct 2015 02:08:56 +0200 Claus Gittinger #BUGFIX
Tue, 06 Oct 2015 22:32:50 +0200 Claus Gittinger #UI_ENHANCEMENT
Mon, 05 Oct 2015 06:39:28 +0200 Merge Script Merge jv
Sun, 04 Oct 2015 12:04:15 +0200 Claus Gittinger #FEATURE
Sun, 04 Oct 2015 06:42:01 +0200 Merge Script Merge jv
Sat, 03 Oct 2015 16:09:35 +0200 Claus Gittinger #UI_ENHANCEMENT
Sun, 16 Aug 2015 06:44:26 +0200 Merge Script Merge jv
Sat, 15 Aug 2015 18:09:26 +0200 Claus Gittinger class: UserPreferences
Sat, 15 Aug 2015 18:06:39 +0200 Claus Gittinger class: UserPreferences
Sat, 01 Aug 2015 06:50:35 +0200 Merge Script Merge jv
Fri, 31 Jul 2015 21:14:12 +0200 Claus Gittinger class: UserPreferences
Sun, 26 Jul 2015 06:44:00 +0200 Merge Script Merge jv
Sat, 25 Jul 2015 21:06:59 +0200 Stefan Vogel class: UserPreferences
Tue, 07 Jul 2015 06:36:18 +0200 Merge Script Merge jv
Mon, 06 Jul 2015 15:29:07 +0200 Claus Gittinger class: UserPreferences
Sat, 04 Jul 2015 11:52:42 +0100 Jan Vrany Merge jv
Fri, 03 Jul 2015 20:51:57 +0200 Claus Gittinger class: UserPreferences
Tue, 23 Jun 2015 06:44:56 +0200 Merge Script Merge jv
Mon, 22 Jun 2015 16:36:26 +0200 Claus Gittinger class: UserPreferences
Mon, 22 Jun 2015 16:35:34 +0200 Claus Gittinger class: UserPreferences
Thu, 18 Jun 2015 06:57:25 +0200 Merge Script Merge jv
Wed, 17 Jun 2015 09:39:41 +0200 Stefan Vogel class: UserPreferences
Sat, 30 May 2015 06:36:31 +0200 Merge Script Merge jv
Fri, 29 May 2015 13:38:19 +0200 Claus Gittinger class: UserPreferences
Thu, 23 Apr 2015 08:04:13 +0100 Jan Vrany Merge jv
Wed, 22 Apr 2015 14:24:40 +0200 Claus Gittinger avoid another message send
Wed, 01 Apr 2015 10:20:10 +0100 Jan Vrany Merged cb7a12afe736 and 86dd565344f0 (branch default - CVS HEAD) jv
Sun, 02 Feb 2014 14:16:24 +0000 Jan Vrany Merged bf7f37b63ea2 and 80810829f468 (branch default - CVS HEAD) jv
Tue, 17 Dec 2013 20:21:42 +0100 Jan Vrany Merged 0d7ac9096619 and c3c4112651c4 (branch default - CVS HEAD) jv
Mon, 25 Nov 2013 10:37:44 +0000 Jan Vrany Merged 48ba10eeb21c and 3c118b86a6db (branch default - CVS HEAD) jv
Tue, 01 Oct 2013 14:38:05 +0100 Jan Vrany Make default color for selected variable a yellow... jv
Fri, 27 Sep 2013 23:47:30 +0100 Jan Vrany Merged 52f3ca7a321f and 90d541e96217 (branch default - CVS HEAD) jv
Thu, 19 Sep 2013 10:18:18 +0100 Jan Vrany Merged 698883672d5c and c63aea2dcfe5 (branch default - CVS HEAD) jv
Wed, 04 Sep 2013 09:43:51 +0100 Jan Vrany Merged 4174aa84a870 and c1fa82fb9e66 (branch default - CVS HEAD) jv
Wed, 28 Aug 2013 10:47:51 +0100 Jan Vrany Merged a947150ba171 and ecc817f379ba (branch default - CVS HEAD) jv
Thu, 08 Aug 2013 11:09:31 +0100 Jan Vrany Merged 7b5afc0ad3d5 and 7da6f15bd81c (branch default - CVS HEAD) jv
less more (0) -120 tip