GtkHTML3 for PHP-GTK

Hi all, GtkHTML3 is now available for PHP-GTK. To use the extension, cd to your '/ext' directory in the PHP-GTK sources and then: $ svn co svn://svn.cweiske.de/php-gtk-edge/trunk/ext/html Run ./buildconf, ./configure, make, make install and you should be ready to go. (Assuming you already have GtkHTML installed, if you don't get it here: http://ftp.gnome.org/pub/GNOME/sources/gtkhtml/3.0/). There's a sample script: /ext/html/demos/gtkhtml.php GtkHTML3 offers some nice features and is a wonderful widget to use. If Elizabeth or Steph ever get around to compiling GtkHTML3 on Windows, this widget should be a great replacement for GtkMozembed which isn't available on that platform. But the main attraction of GtkHTML3 is the ability to _edit_ HTML, and so when coupled with GtkSourceView, is quite powerful. There isn't a Python binding to GtkHTML3 available yet (AFAIK), so for once, we're one-up on the Python folks ;) Cheers, -- Anant