Mon, 24 Aug 1998 14:41:40 +0200 checkin from browser
Claus Gittinger <cg@exept.de> [Mon, 24 Aug 1998 14:41:40 +0200] rev 2265
checkin from browser
Mon, 24 Aug 1998 14:21:19 +0200 *** empty log message ***
Claus Gittinger <cg@exept.de> [Mon, 24 Aug 1998 14:21:19 +0200] rev 2264
*** empty log message ***
Mon, 24 Aug 1998 13:20:22 +0200 workaround missing background-pixmap support in WinWorkstation.
Claus Gittinger <cg@exept.de> [Mon, 24 Aug 1998 13:20:22 +0200] rev 2263
workaround missing background-pixmap support in WinWorkstation.
Mon, 24 Aug 1998 13:15:40 +0200 Ctrl is handled like Control (WinWorkstation bug workaround)
Claus Gittinger <cg@exept.de> [Mon, 24 Aug 1998 13:15:40 +0200] rev 2262
Ctrl is handled like Control (WinWorkstation bug workaround)
Fri, 21 Aug 1998 23:36:48 +0200 check to avoid overwriting
Claus Gittinger <cg@exept.de> [Fri, 21 Aug 1998 23:36:48 +0200] rev 2261
check to avoid overwriting
Fri, 21 Aug 1998 19:48:27 +0200 *** empty log message ***
Claus Gittinger <cg@exept.de> [Fri, 21 Aug 1998 19:48:27 +0200] rev 2260
*** empty log message ***
Fri, 21 Aug 1998 12:30:57 +0200 fix undefined device if new was redefined
tm [Fri, 21 Aug 1998 12:30:57 +0200] rev 2259
fix undefined device if new was redefined
Thu, 20 Aug 1998 20:36:19 +0200 *** empty log message ***
Claus Gittinger <cg@exept.de> [Thu, 20 Aug 1998 20:36:19 +0200] rev 2258
*** empty log message ***
Thu, 20 Aug 1998 20:20:49 +0200 *** empty log message ***
Claus Gittinger <cg@exept.de> [Thu, 20 Aug 1998 20:20:49 +0200] rev 2257
*** empty log message ***
Thu, 20 Aug 1998 16:45:08 +0200 changed for buttonPanel
Claus Gittinger <cg@exept.de> [Thu, 20 Aug 1998 16:45:08 +0200] rev 2256
changed for buttonPanel
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip