viewport.h
changeset 1990 90eb49e87b90
parent 1977 4392ae3d8e31
child 2116 cdfc27b696b7
--- a/viewport.h	Tue Jun 28 17:45:15 2005 +0000
+++ b/viewport.h	Wed Jun 29 08:14:09 2005 +0000
@@ -11,6 +11,8 @@
 	byte zoom;
 };
 
+void SetSelectionRed(bool);
+
 /* viewport.c */
 Point MapXYZToViewport(ViewPort *vp, uint x, uint y, uint z);
 void AssignWindowViewport(Window *w, int x, int y,