diff options
| author | Jun FURUSE / 古瀬 淳 <jun.furuse@gmail.com> | 2002-07-23 16:08:08 +0000 |
|---|---|---|
| committer | Jun FURUSE / 古瀬 淳 <jun.furuse@gmail.com> | 2002-07-23 16:08:08 +0000 |
| commit | 6f75d4f557fa30869c198016f1b8159ab009e12f (patch) | |
| tree | ae3b9df9b9f8c85977e827b4949a90abecc0d277 | |
| parent | 8af9c3c9d7e52da0e7391edb3740a3bb60132185 (diff) | |
fixed interface of font actual
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5032 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | otherlibs/labltk/Widgets.src | 27 |
1 files changed, 19 insertions, 8 deletions
diff --git a/otherlibs/labltk/Widgets.src b/otherlibs/labltk/Widgets.src index 291cbd87a..718c2f151 100644 --- a/otherlibs/labltk/Widgets.src +++ b/otherlibs/labltk/Widgets.src @@ -724,14 +724,25 @@ subtype options(font) { } module Font { - function (string) actual ["font"; "actual"; font; - ?displayof:["-displayof"; widget]; - options(font) list] -##ifdef CAMLTK - function (string) actual_displayof ["font"; "actual"; font; - "-displayof"; widget; - options(font) list] -##endif + function (string) actual_family ["font"; "actual"; font; + ?displayof:["-displayof"; widget]; + "-family"] + function (int) actual_size ["font"; "actual"; font; + ?displayof:["-displayof"; widget]; + "-size"] + function (string) actual_weight ["font"; "actual"; font; + ?displayof:["-displayof"; widget]; + "-weight"] + function (string) actual_slant ["font"; "actual"; font; + ?displayof:["-displayof"; widget]; + "-slant"] + function (bool) actual_underline ["font"; "actual"; font; + ?displayof:["-displayof"; widget]; + "-underline"] + function (bool) actual_overstrike ["font"; "actual"; font; + ?displayof:["-displayof"; widget]; + "-overstrike"] + function () configure ["font"; "configure"; font; options(font) list] function (font) create ["font"; "create"; ?name:[string]; options(font) list] ##ifdef CAMLTK |