[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Mouse marking in editor not working
- To: BAK at MIT-AI
- Subject: Re: Mouse marking in editor not working
- From: MOON@MIT-MC
- Date: Sat ,10 Feb 80 02:52:05 EDT
- Cc: (BUG ZWEI) at MIT-AI
This is fixed in the source--it is due to a bug in the new scheduler.
Hopefully system 45 will be out soon.