Browse thread
ANNOUNCE: LablGtkSourceView
-
Stefano Zacchiroli
-
David Baelde
- Stefano Zacchiroli
- Eric Cooper
-
David Baelde
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Eric Cooper <ecc@c...> |
| Subject: | Re: [Caml-list] ANNOUNCE: LablGtkSourceView |
On Fri, Jul 08, 2005 at 04:42:17PM +0200, David Baelde wrote:
> Many people probably want to know: is there a OCaml.lang for specifying
> OCaml syntax/indentation for GtkSourceView ? Could be useful for that
> ongoing OCamlIDE project...
Here's a first cut at one:
http://www.cs.cmu.edu/~ecc/ocaml.lang
On Debian at least, you can put this in
~/.gnome2/gtksourceview-1.0/language-specs/
You will also need MIME types recognized for OCaml programs.
Put the following in ~/.local/share/mime/globs:
text/x-ocaml:*.ml
text/x-ocaml:*.mli
(On other systems, it might be useful to run
strace -e trace=file gedit foo.ml
to find out where it's looking for these definitions.)
--
Eric Cooper e c c @ c m u . e d u