summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>1998-09-23 17:28:10 +0000
committerDamien Doligez <damien.doligez-inria.fr>1998-09-23 17:28:10 +0000
commit584c477a6a4d69bc877d8f969edbabd9f1ab2995 (patch)
treef26602c46da201adab9098f27e1fe4f43ead2745
parent298e6eb6ab8718b6fbe824476830f97dbfb7e152 (diff)
implementation vide de "set_text_size"
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2099 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--otherlibs/graph/graphics.ml2
-rw-r--r--otherlibs/graph/text.c5
2 files changed, 6 insertions, 1 deletions
diff --git a/otherlibs/graph/graphics.ml b/otherlibs/graph/graphics.ml
index d1cf5b9b2..27b3e9b4c 100644
--- a/otherlibs/graph/graphics.ml
+++ b/otherlibs/graph/graphics.ml
@@ -87,7 +87,7 @@ let fill_circle x y r = fill_arc x y r r 0 360
external draw_char : char -> unit = "gr_draw_char"
external draw_string : string -> unit = "gr_draw_string"
external set_font : string -> unit = "gr_set_font"
-let set_text_size sz = ()
+external set_text_size : int -> unit = "gr_set_text_size"
external text_size : string -> int * int = "gr_text_size"
(* Images *)
diff --git a/otherlibs/graph/text.c b/otherlibs/graph/text.c
index 0e377964e..4076e22a8 100644
--- a/otherlibs/graph/text.c
+++ b/otherlibs/graph/text.c
@@ -34,6 +34,11 @@ value gr_set_font(value fontname)
return Val_unit;
}
+value gr_set_text_size (value sz)
+{
+ return Val_unit;
+}
+
static void gr_draw_text(char *txt, int len)
{
if (grfont == NULL) gr_font(DEFAULT_FONT);