diff -r 000000000000 -r 5d03bc08d59c windowing/windowserver/group/WSERV.INI --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/windowing/windowserver/group/WSERV.INI Tue Feb 02 01:47:50 2010 +0200 @@ -0,0 +1,42 @@ +LOG FL +LOGP C:\DATA\WSERV.LOG +LOGENABLE 9 +REBOOT 1 +//SHELLCMD AUTO +//STARTUP CONN +POINTER 0 +AUTOCLEAR 1 +//WINDOWMODE COLOR256 +//COLOR 16,256 +//GRAY 4,16 +SCR_WIDTH1 640 +SCR_HEIGHT1 240 +SCR_ROTATION1 0,180 +SCR_WIDTH2 240 +SCR_HEIGHT2 80 +SCR_ROTATION2 90 +SCR_WIDTH3 400 +SCR_HEIGHT3 100 +SCR_ROTATION3 0,180 +SCR_LEFT3 40 +SCR_TOP3 40 +SCR_WIDTH4 200 +SCR_HEIGHT4 160 +SCR_ROTATION4 0,180 +SCR_LEFT4 440 +SCR_TOP4 60 +SCR_WIDTH5 245 +SCR_HEIGHT5 85 +SCR_ROTATION5 90,270 +SCR_LEFT5 20 +SCR_TOP5 20 +SCR_WIDTH6 350 +SCR_HEIGHT6 70 +SCR_ROTATION6 0,180 +SCR_LEFT6 70 +SCR_TOP6 35 +//SCR_TWIP_WIDTH1 +//SIZE_MODE "0 or 1" 1 enforced +FLICKERFREEREDRAW +TRANSPARENCY +