-- PRTool.TIP
-- Version of  25-Feb-86 12:28:35

OPTIONS DefaultKeys;


[DEF,Chord,(SELECT TRIGGER FROM
  ~1 Down BEFORE 250 => { COORDS menu };
  ENDCASE => { COORDS ~2 })]

SELECT TRIGGER FROM
  Point Down => [Chord,Adjust,source];
  Adjust Down => [Chord,Point,destination];
  Menu Down => COORDS, menu;
  AGAIN Up => again;
  CONTROL Up => properties;
  COPY Up => copy;
  DELETE Down => COORDS;  -- prevent ... as Char
  DELETE Up => delete;
  EXPAND Up => expand;
  MENU Up => center;
  SCROLLBAR Up => bold;
  JFIRST Up => italics;
  JSELECT Up => underline;
  CLIENT2 Up => smaller;
  STUFF Up => open;
  NEXT Up => next;
  FIND Up => find;
  MOVE Up => move;
  PASTE Up => paste;
  DOIT Up => margins;
  BackSlash Up => font;
  UNDO Up => undo;
  RESERVED Up => superscript;  -- Dandelion
  CLIENT1 Up => subscript;     -- Dandelion
  ATTENTION Up => defaults;    -- Dandelion
  HELP Up => help;	       -- Dandelion
  Strikeout Up => superscript; -- Daybreak
  SuperSub Up => subscript;    -- Daybreak
  Case Up => defaults; 	       -- Daybreak
  COMMAND Up => help;	       -- Daybreak
  ENTER => enter;
  EXIT => exit;
  ENDCASE...