Version française
Home     About     Download     Resources     Contact us    
Browse thread
A small footprint GUI for OCaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Alexsandro Soares <a_s_soares@y...>
Subject: A small footprint GUI for OCaml
My collaborators and I wrote a small footprint graphics.cmxa based GUI for OCaml.  It works well on Windows, but not so well on Linux. In fact, in most Linux installations the program turns out to be unbearably slow; to make it usable, I am forced to use powerful and well tuned video cards. However, if I compile the program on  Windows, and use CEDEGA, I am able to run it on Linux.  I would appreciate if members of the list take a look at the sources, and make suggestion to run the program on Linux. You can download the sources from

http://www.discenda.org/ocaml/bed.zip

After downloading, you can compile it thus:

ocamlopt graphics.cmxa wid.ml nw.ml -o nw

If you run the program, and click on a tab (for instance, on the "blabla" tab), you will find yourself on a Emacs like editor. You can type text, and use Emacs commands, like:

1-- Ctrl-b  : Back step
2-- Ctrl-f  : Step forward
3-- Ctrj-j  : Break a line
4-- Ctrl-p : Previous line
5-- Ctrl-n : Next line
6-- Ctrl-d : Delete a char
7-- Ctrl-q : Toggle Backspace from backerase to backstep
8-- Ctrl-e : Beginning of line
9-- Ctrl-a : End of line
10-- Esc-space + Esc w : Put text between mark and point in the kill ring.
11-- Ctrl-y : yank
12-- Ctrl-w Ctrl-s : Save buffer
13-- Ctrl-w Ctrl-w <file name> : Save as
14-- Ctrl-x Ctrl-f : Visit file
15-- Ctrl-t : Execute OCaml funcion on text
16-- Ctrl-r : Toggle between result of the execution and original text

There are two kinds of text. One is just a text. The other is a data entry form. Please test the program on Linux, and make suggestion about how to change it in order to make it run as well on Linux as on Windows.


__________________________________________________
Fale com seus amigos  de graça com o novo Yahoo! Messenger 
http://br.messenger.yahoo.com/