--- ray/src/hd/rhdriver.h	1997/11/21 15:11:43	3.3
+++ ray/src/hd/rhdriver.h	1997/12/08 18:51:15	3.6
@@ -17,10 +17,12 @@ extern struct driver {
 
 			/* dev_input() return flags */
 #define	DEV_SHUTDOWN	01	/* user shutdown request */
-#define DEV_NEWVIEW	02	/* view change (new view in odev.v) */
-#define DEV_NEWSIZE	04	/* device resolution change */
-#define DEV_WAIT	010	/* pause computation and wait for input */
+#define	DEV_NEWVIEW	02	/* view change (new view in odev.v) */
+#define	DEV_NEWSIZE	04	/* device resolution change */
+#define	DEV_WAIT	010	/* pause computation and wait for input */
 #define	DEV_RESUME	020	/* resume after pause */
+#define	DEV_REDRAW	040	/* redraw from server */
+#define DEV_PUTVIEW	0100	/* print out current view */
 
 
 /************************************************************************
@@ -46,9 +48,10 @@ returns DEV_NEWVIEW flag.
 
 
 void
-dev_value(c, p)		: register new point of light
+dev_value(c, p, v)	: register new point of light
 COLR	c;		: pixel color (RGBE)
 FVECT	p;		: world intersection point
+FVECT	v;		: ray direction vector
 
 Add the given color point to the display output queue.