Fri, 21 Feb 2003 16:26:07 +0100 Claus Gittinger added selective aspect method generation.
Fri, 21 Feb 2003 13:20:17 +0100 Claus Gittinger color: make darker/brighter
Fri, 21 Feb 2003 11:25:12 +0100 Claus Gittinger checkin from browser
Fri, 21 Feb 2003 11:24:49 +0100 Claus Gittinger added full-layout button
Fri, 21 Feb 2003 11:23:33 +0100 Claus Gittinger editMenu: order is cut-copy-paste (as in windows)
Thu, 13 Feb 2003 17:31:20 +0100 Claus Gittinger *** empty log message ***
Thu, 23 Jan 2003 11:30:45 +0100 ca helpSpec rel4_1_7 release
Wed, 22 Jan 2003 09:05:53 +0100 ca use configurable tabLabelInset for the NoteBook
Tue, 21 Jan 2003 08:22:36 +0100 ca drag & drop mechanism
Sat, 18 Jan 2003 14:53:08 +0100 ca *** empty log message ***
Fri, 17 Jan 2003 21:55:37 +0100 ca *** empty log message ***
Fri, 17 Jan 2003 15:52:22 +0100 ca no longer use InputView
Fri, 17 Jan 2003 15:50:44 +0100 ca no longer use InputView
Thu, 09 Jan 2003 09:21:55 +0100 ca *** empty log message ***
Wed, 08 Jan 2003 13:16:05 +0100 ca *** empty log message ***
Sat, 21 Dec 2002 14:11:41 +0100 Claus Gittinger category rename
Fri, 20 Dec 2002 16:00:55 +0100 Claus Gittinger added #decimal columnAlignment.
Thu, 19 Dec 2002 14:58:30 +0100 Claus Gittinger added longStringCompression
Wed, 18 Dec 2002 12:04:08 +0100 ca *** empty log message ***
Tue, 17 Dec 2002 15:45:13 +0100 ca bugfix in #layout
Tue, 17 Dec 2002 15:44:06 +0100 ca *** empty log message ***
Tue, 17 Dec 2002 11:20:46 +0100 penk added colorMenu
Tue, 10 Dec 2002 12:02:39 +0100 Claus Gittinger category change
Tue, 10 Dec 2002 12:00:35 +0100 Claus Gittinger category change
Wed, 27 Nov 2002 09:24:59 +0100 ca add help text
Fri, 22 Nov 2002 11:46:08 +0100 ca add help text
Mon, 18 Nov 2002 11:40:59 +0100 Claus Gittinger *** empty log message ***
Mon, 18 Nov 2002 11:10:43 +0100 Claus Gittinger menu labels
Fri, 15 Nov 2002 10:20:45 +0100 Claus Gittinger *** empty log message ***
Mon, 11 Nov 2002 18:54:12 +0100 Claus Gittinger *** empty log message ***
(0) -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 tip