<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=utf-8">
<META content="MSHTML 6.00.2900.5512" name=GENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV><FONT face=Arial>
<DIV><FONT face=Arial>Isaac,</FONT></DIV>
<DIV><FONT face=Arial></FONT> </DIV>
<DIV><FONT face=Arial>there is no public and stable API that you can use.
You'll have to just take the code as it is and make your own port as you need
it. </FONT></DIV>
<DIV><FONT face=Arial></FONT> </DIV>
<DIV><FONT face=Arial>But please be aware that WebKit is constantly changing, so
by the time you are done with your port it will no longer work with the current
version of WebKit. So typically if you are on your own it will take
you just as much time as you needed for doing your port to make it work again
with the latest version of WebKit. While in the meantime WebKit has changed
again..... So this will make you really happy to use WebKit in your
project!</FONT></DIV>
<DIV><FONT face=Arial></FONT> </DIV>
<DIV><FONT face=Arial>You may want to take a look at the GTK port. This will be
made to work with the latest version of WebKit for you and provides a stable API
for the developers that use it in their applications.</FONT></DIV>
<DIV><FONT face=Arial></FONT> </DIV>
<DIV><FONT face=Arial>Georg</FONT></DIV>
<DIV> </DIV></FONT></DIV></BODY></HTML>