2003-01-15 05:24:50 +01:00
|
|
|
public void Write (string buffer)
|
|
|
|
{
|
2003-02-05 07:30:34 +01:00
|
|
|
byte [] bytes = System.Text.Encoding.UTF8.GetBytes (buffer);
|
|
|
|
|
2004-05-03 16:40:16 +02:00
|
|
|
gtk_html_stream_write (Handle, bytes, bytes.Length);
|
2003-01-15 05:24:50 +01:00
|
|
|
}
|