[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
- To: (BUG ZWEI) at MIT-AI
- From: DLW at MIT-AI (Daniel L. Weinreb)
- Date: Sat ,26 Jul 80 04:10:00 EDT
I tried using the mouse command "Mouse Indent Rigidly"; it
did an indent rigidly with some random argument of about 12. or so.
This is sure not what I expected and it is not very useful;
if there really IS some way to specify the amount graphically
with the mouse, I sure could not find it. This is on the Xerox system
The set of commands in that menu is pretty random, you know. If I
wanted to uppercase a region I am not at all sure I'd remember that
that was one of the few mouse commands. I don't have any idea what to
do about this.