X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fexamples%2Fxmhtml%2Ftest.ml;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fexamples%2Fxmhtml%2Ftest.ml;h=0000000000000000000000000000000000000000;hb=eee11205456555dec423fca2a849c9ceb2585ac3;hp=6c9d3715adfda907f964bbe10d1e798a5f7d98d0;hpb=df249284627b8609efbac0d3e55cfc585db1683d;p=helm.git
diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/examples/xmhtml/test.ml b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/examples/xmhtml/test.ml
deleted file mode 100644
index 6c9d3715a..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/examples/xmhtml/test.ml
+++ /dev/null
@@ -1,38 +0,0 @@
-(* $Id$ *)
-
-let test_string2 = String.concat ~sep:"" [
- "\n";
- "
The Gtk/XmHTML test\n";
- "This is the Gtk/XmHTML test program\n";
- "You can invoke this program with a command line argument, like this:\n";
- "
";
- "./xtest filename.html";
- "
";
- "Click here to load a different test message";
- "";
-]
-
-let read_file file =
- let ic = open_in file in
- let b = Buffer.create 16384 and s = String.create 1024 and len = ref 0 in
- while len := input ic ~buf:s ~pos:0 ~len:1024; !len > 0 do
- Buffer.add_substring b s ~pos:0 ~len:!len
- done;
- Buffer.contents b
-
-open GMain
-
-let _ =
- let w = GWindow.window ~width:600 ~height:500 () in
- w#connect#destroy ~callback:Main.quit;
- let source =
- if Array.length Sys.argv > 1 then begin
- Sys.chdir (Filename.dirname Sys.argv.(1));
- read_file (Filename.basename Sys.argv.(1))
- end
- else test_string2 in
- let html = GHtml.xmhtml ~source ~packing:w#add () in
- html#set_anchor_buttons false;
- html#set_anchor_underline [`SINGLE;`DASHED];
- w#show ();
- Main.main ()