search

garrigue / lablgtk

LablGTK 2 and 3: an interface to the GIMP Tool Kit
https://garrigue.github.io/lablgtk
Other
89 stars 40 forks source link

Any chance to see gtksourceview4 in a lablgtk4 package ? #179

Open Sylvain78 opened 4 months ago

Sylvain78 commented 4 months ago

Rationale :

HaikuOS gets only gtksourceview-4.8.4.

The lack of gtksourceview3 prevents to install coqide and compcert on this platform.

I already tricked coq to use this gtksourceview-4 as it was a gtksourceview3, but i would prefer a native port. Have you ever consider this port ? I saw the PR Port to GtkSourceView4 from ejgallego but they were not merged and closed .

Thanks for any clues you could give.

ejgallego commented 4 months ago

I didn't have time to complete it, but I'm sure further progress on it would be much welcome!

Sylvain78 commented 4 months ago

I didn't have time to complete it, but I'm sure further progress on it would be much welcome!

What prevented it to be merge?

ejgallego commented 4 months ago

I guess it wasn't finished, but I don't exactly recall.