[Oberon] Re: Keyboard substituting for mouse.

[peter at easthope.ca]

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