1999-11-08 11:03:57 -08:00
|
|
|
option-click a scrollbar's arrow -> scroll by one pixel
|
1998-10-02 06:02:32 -07:00
|
|
|
|
|
|
|
|
Enter in the toplevel window -> go to bottom of window and append
|
|
|
|
|
a newline
|
|
|
|
|
|
|
|
|
|
Drag & drop to the toplevel window -> go to bottom of window and
|
|
|
|
|
append the dragged text
|
|
|
|
|
|
|
|
|
|
Command-period in the toplevel window -> interrupt O'Caml's computation
|
