K 10 svn:author V 3 sos K 8 svn:date V 27 1996-10-18T18:51:37.000000Z K 7 svn:log V 349 Changed mouse functionality a bit, now the pointer disappears if there is keyboard input. The mousepointer is shown again immediately if moved. Also a function pointer used to install a userwritten extra ioctl handler (sc_user_ioctl). This way its is possible to install user defined videomodes etc etc. No further changes should be in the kernel. END