Tue, 14 Jan 1997 00:15:53 +0100 fetch device resources early
Claus Gittinger <cg@exept.de> [Tue, 14 Jan 1997 00:15:53 +0100] rev 941
fetch device resources early
Tue, 14 Jan 1997 00:12:53 +0100 fetch device resources early
Claus Gittinger <cg@exept.de> [Tue, 14 Jan 1997 00:12:53 +0100] rev 940
fetch device resources early
Tue, 14 Jan 1997 00:09:24 +0100 fetch device resources early
Claus Gittinger <cg@exept.de> [Tue, 14 Jan 1997 00:09:24 +0100] rev 939
fetch device resources early
Tue, 14 Jan 1997 00:07:06 +0100 fetch device colors of image-item
Claus Gittinger <cg@exept.de> [Tue, 14 Jan 1997 00:07:06 +0100] rev 938
fetch device colors of image-item
Mon, 13 Jan 1997 23:51:31 +0100 checkin from browser
Claus Gittinger <cg@exept.de> [Mon, 13 Jan 1997 23:51:31 +0100] rev 937
checkin from browser
Mon, 13 Jan 1997 23:47:18 +0100 fetch device resources early
Claus Gittinger <cg@exept.de> [Mon, 13 Jan 1997 23:47:18 +0100] rev 936
fetch device resources early
Mon, 13 Jan 1997 23:37:06 +0100 fetch device resources early
Claus Gittinger <cg@exept.de> [Mon, 13 Jan 1997 23:37:06 +0100] rev 935
fetch device resources early
Mon, 13 Jan 1997 23:36:34 +0100 *** empty log message ***
Claus Gittinger <cg@exept.de> [Mon, 13 Jan 1997 23:36:34 +0100] rev 934
*** empty log message ***
Mon, 13 Jan 1997 23:28:03 +0100 allocate device resources once
Claus Gittinger <cg@exept.de> [Mon, 13 Jan 1997 23:28:03 +0100] rev 933
allocate device resources once
Mon, 13 Jan 1997 23:05:12 +0100 use devices black/whiteColor instead of Black/White
Claus Gittinger <cg@exept.de> [Mon, 13 Jan 1997 23:05:12 +0100] rev 932
use devices black/whiteColor instead of Black/White
(0) -300 -100 -10 +10 +100 +300 +1000 +3000 tip