Bug#885680: gretl: Depends on unmaintained gtksourceview2 (fwd)

2018-01-09 Thread Allin Cottrell
On Sat, 30 Dec 2017, Dirk Eddelbuettel wrote: On 29 December 2017 at 09:58, Riccardo (Jack) Lucchetti wrote: | | Using gtksourceview3 is already possible; actually, the default for the | configure script is to prefer gtk3 over gtk2. Maybe it's just a matter of | adjusting the debian-specific

Bug#885680: gretl: Depends on unmaintained gtksourceview2 (fwd)

2017-12-30 Thread Dirk Eddelbuettel
On 29 December 2017 at 09:58, Riccardo (Jack) Lucchetti wrote: | | Using gtksourceview3 is already possible; actually, the default for the | configure script is to prefer gtk3 over gtk2. Maybe it's just a matter of | adjusting the debian-specific scripts? Yes. It's all programmatic. A long