Re: [gedit-list] What shall i use instead of gtkhtml2 in a plugin?
- From: Sébastien Wilmet <swilmet gnome org>
- To: gedit-list gnome org
- Subject: Re: [gedit-list] What shall i use instead of gtkhtml2 in a plugin?
- Date: Wed, 5 Feb 2014 11:46:43 +0100
----- Forwarded message from Matěj Cepl <mcepl redhat com> -----
Date: Mon, 3 Feb 2014 13:00:29 +0100
From: Matěj Cepl <mcepl redhat com>
To: Sébastien Wilmet <swilmet gnome org>
Subject: Re: What shall i use instead of gtkhtml2 in a plugin?
User-Agent: slrn/1.0.1 (Linux)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On 2014-02-02, 22:27 GMT, you wrote:
WebkitGTK+ can render html documents, if that is what you
need.
I have a working fork with Gedit 3.8 at
https://github.com/mcepl/reStPlugin
Matěj
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)
iD8DBQFS74Td4J/vJdlkhKwRAr5uAJ9LWlftdLJNU/EhLBmhDCv+5FU7OwCeL1+W
1HN/Uy8qrxqhbo9SxERbVvA=
=mvCn
-----END PGP SIGNATURE-----
----- End forwarded message -----
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]