updated for version 7.0116
diff --git a/src/gui_riscos.c b/src/gui_riscos.c
index 2f33419..a5d54bd 100644
--- a/src/gui_riscos.c
+++ b/src/gui_riscos.c
@@ -1022,8 +1022,11 @@
return OK;
}
+/*
+ * Adjust gui.char_height (after 'linespace' was changed).
+ */
int
-gui_mch_adjust_charsize()
+gui_mch_adjust_charheight()
{
return FAIL;
}
@@ -1083,17 +1086,6 @@
}
}
-#if 0 /* not used */
-/*
- * Return TRUE if the two fonts given are equivalent.
- */
- int
-gui_mch_same_font(GuiFont f1, GuiFont f2)
-{
- return f1 == f2;
-}
-#endif
-
/*
* If a font is not going to be used, free its structure.
*/