Forgotten header for previous patch

diff --git a/frontend.h b/frontend.h
index 8bdf558..280a1fc 100644 (file)
--- a/frontend.h
+++ b/frontend.h
@@ -245,6 +245,7 @@ int  EvalGraphDialogExists P((void));
 void SlavePopUp P((void));
 void ActivateTheme P((int new));
 char *Col2Text P((int n));
+char *Shorten P((char *s));
 
 /* these are in xhistory.c  */
 Boolean MoveHistoryIsUp P((void));