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;