cmd: remove a bit of unused stuff

3 files changed, 0 insertions, 28 deletions

diff --git a/sys/src/cmd/proof/font.c b/sys/src/cmd/proof/font.c
index 9d3aa274c..2dc6c9267 100644
--- a/sys/src/cmd/proof/font.c
+++ b/sys/src/cmd/proof/font.c
@@ -10,7 +10,6 @@ char lastload[NFONT][20];	/* last file name prefix loaded for this font */
 Font	*fonttab[NFONT][NSIZE];	/* pointers to fonts */
 int	fmap[NFONT];		/* what map to use with this font */
 
-static void	bufchar(Point, Subfont *, uchar *);
 static void	loadfont(int, int);
 static void	fontlookup(int, char *);
 static void	buildxheight(Biobuf*);
diff --git a/sys/src/cmd/proof/htroff.c b/sys/src/cmd/proof/htroff.c
index b7bdec0ed..ce7577f51 100644
--- a/sys/src/cmd/proof/htroff.c
+++ b/sys/src/cmd/proof/htroff.c
@@ -44,7 +44,6 @@ static void	eatline(void);
 static int	getn(void);
 static int	botpage(int);
 static void	getstr(char *);
-static void	getutf(char *);
 
 #define Do screen->r.min
 #define Dc screen->r.max
@@ -453,24 +452,6 @@ getstr(char *is)
 }
 
 static void
-getutf(char *s)		/* get next utf char, as bytes */
-{
-	int c, i;
-
-	for (i=0;;) {
-		c = getc();
-		if (c < 0)
-			return;
-		s[i++] = c;
-
-		if (fullrune(s, i)) {
-			s[i] = 0;
-			return;
-		}
-	}
-}
-
-static void
 eatline(void)
 {
 	int c;
diff --git a/sys/src/cmd/proof/screen.c b/sys/src/cmd/proof/screen.c
index f723e283d..31eac0e5a 100644
--- a/sys/src/cmd/proof/screen.c
+++ b/sys/src/cmd/proof/screen.c
@@ -123,14 +123,6 @@ getkbdstr(int c0)
 
 #define	butcvt(b)	(1 << ((b) - 1))
 
-static int buttondown(void)	/* report state of buttons, if any */
-{
-	if (!ecanmouse())	/* no event pending */
-		return 0;
-	mouse = emouse();	/* something, but it could be motion */
-	return mouse.buttons & 7;
-}
-
 int waitdown(void)	/* wait until some button is down */
 {
 	while (!(mouse.buttons & 7))