Porting to Lablgtk3 (GTK3 OCaml bindings)
ID0002429: This issue was created automatically from Mantis Issue 2429. Further discussion may take place here.
|ID0002429||Frama-C||Graphical User Interface||public||2019-02-25||2019-07-05|
|Product Version||-||Target Version||-||Fixed in Version||Frama-C 19-Potassium|
Soon lablgtk2 will be removed from all Debian-based distributions because reliance on liblablgtksourceview2-ocaml-dev package. See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=885677
Recently Coq developers and Lablgtk maintainer collaborated and ported the library to GTK+ 3.x, and beta version was released. Corresponding PR for Coq is waiting to be merged as well.
It makes sense to port Frama-C GUI to lablgtk3 as well.
See the same issue in Coq (CoqIDE) - https://github.com/coq/coq/issues/7055
And a pull request fixing it (porting CoqIDE to lablgtk3) https://github.com/coq/coq/pull/9279