GEdit OPI plugin

[Simon van der Linden]

Hi,

I'm one of the students of Peter Van Roy who have had the idea to 
develop a GEdit plugin for Mozart. So far, we only played a bit with 
gedit, its plugin class, and PyGTK.

However, Yves Jaradin (are you reading this, Yves?), wrote some piece of 
code and gave it to me. I read it last week, but had some difficulties 
to understand it and the OPI.

The first thing is that I'm not an Emacs lover, and I think I won't ever 
get used to it. I hardly used the Emacs plugin for Oz, but Vi and 
ozc-ozengine instead. So, I may have another point of view on the GEdit 
plugin we'd like to develop.

My idea is very simple: to have an oz browser in the bottom pane, and a 
"Feed Mozart with the selection" action in the right-click-menu. Perhaps 
we could also have some translation tools, such as a kernel language 
code generator.

I'd like to implement this in a Gnome-ish way, and I don't want to move 
the Emacs OPI to GEdit.

The second thing is that I don't get really well the design of the OPI 
functor. Why does it open an inet socket, which binds on a random port 
on every interface? Why not an unix one? It would be easier than reading 
the stdout to get a list of the port digits ;-)

I'll have a deeper look at the OPI asap, but I'm wondering if it exists 
some doc about the "protocol" somewhere on the Internet. Could you help me?

Regards,

-- 
Simon van der Linden

http://simon.vanderlinden.eu.org/