[Oberon] Re: Keyboard substituting for mouse.

peter at easthope.ca peter at easthope.ca
Tue Jan 19 08:29:14 CET 2016


Lars O., Sun, 17 Jan 2016 15:43:39 -0600
> I have not tested this code, I have only proven it correct.

For me, about 25 years since an introductory study of 
correctness proof,  Can you share your proof with us?  
I'm interested to see it.

Me, Thu, 14 Jan 2016 09:26:47 -0800,
> 		IF ScrollLock IN flags THEN (* Keypad input extant. *)
> 			RemoveMouse(GetKeypadEvent);
> 			AddMouse(GetMouseEvent);
> 			IF Kernel.timer = NIL THEN Kernel.timer := timerproc END
> 		ELSE  (*  Mouse input extant. *)
> 			RemoveMouse(GetMouseEvent);
> 			AddMouse(GetKeypadEvent);
> 			IF Kernel.timer = timerproc THEN Kernel.timer := NIL END
> 		END;

I don't understand Kernel.timer properly.  The usage above might be  wrong.
If someone can shed a little light, good.

Thanks,                ... Lyall E.
-- 
123456789 123456789 123456789 123456789 123456789 123456789 123456789 12
Tel +1 360 639 0202 
http://easthope.ca/Peter.html Bcc: peter at easthope. ca



More information about the Oberon mailing list