[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[no subject]



cc: ACW at MIT-MC, BUG-LISPM at MIT-MC, RMS at MIT-AI

No, the only way to get rid of that pop-up window is with the mouse.
I don't consider that to be very convenient.  I think we need a keyboard
command that flushes the thing, and later you can use Terminal 0 S.
I realize that Terminal C-T does that, but I think we need something that
onyl applies to the notification pop-up windows.