viewport.c
changeset 2817 58dcead3f545
parent 2816 2b74221ae24c
child 2952 6a26eeda9679
--- a/viewport.c	Thu Jan 05 12:00:38 2006 +0000
+++ b/viewport.c	Thu Jan 05 12:40:50 2006 +0000
@@ -216,7 +216,7 @@
 	}
 }
 
-void SetViewportPosition(Window *w, int x, int y)
+static void SetViewportPosition(Window* w, int x, int y)
 {
 	ViewPort *vp = w->viewport;
 	int old_left = vp->virtual_left;
@@ -1939,7 +1939,7 @@
 	_thd.next_drawstyle = HT_RECT;
 }
 
-void VpStartPreSizing(void)
+static void VpStartPreSizing(void)
 {
 	_thd.selend.x = -1;
 	_special_mouse_mode = WSM_PRESIZE;