[plt-dev] update on experiment in re-implementing MrEd

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Fri Feb 6 21:22:36 EST 2009

At Fri, 6 Feb 2009 20:12:06 -0500, Henk Boom wrote:
> Another library naming issue, on my Gentoo system the libraries are
> 
> libgdk-x11-2.0.so
> libgtk-x11-2.0.so
> 
> with a .0 after the 2. With that fix it seems to work =).

Does anyone know a Right Way to find libraries, or should `ffi-lib'
have a big set of search heuristics that hopefully stumble across the
actual name?


> This looks interesting! I'm curious of one thing though, why separate
> bindings for the three UI systems instead of one set of bindings for a
> new version of wxwidgets?

A wxWidgets binding would be good. And a Qt binding. Probably more.

I think the window<%>-to-GUI-toolkit mapping is not going to be the
hard part. In the interest of minimizing dependencies, I'm starting
with the most basic, standard pieces I can find --- at least among the
choices that are reasonably modern (i.e., not raw X11).


Matthew



Posted on the dev mailing list.