On Sun, 30 Mar 2014, Alessandro Astuti wrote: > I just typed sudo apt-get install gretl on the terminal
Ah, then it seems there's something wrong with the build on Debian testing. Can you check if gretl.lang is installed? For highlighting to work, it should be in /usr/share/gtksourceview-2.0/language-specs/ It might be worth seeing if the wrong version was installed; that is, if there's a gretl.lang in /usr/share/gtksourceview-3.0/language-specs/ I don't run Debian myself -- can anyone else comment on this? Allin Cottrell > Il 29/03/2014 23:52, Allin Cottrell ha scritto: >> On Sat, 29 Mar 2014, Alessandro Astuti wrote: >> >>> I had this: >>> >>> ldd /usr/bin/gretl_x11 | grep gtk >>> libgtksourceview-2.0.so.0 => /usr/lib/libgtksourceview-2.0.so.0 >>> (0x0000003f6d000000) >>> libgtk-x11-2.0.so.0 => >>> /usr/lib/x86_64-linux-gnu/libgtk-x11-2.0.so.0 (0x0000003f6d400000) >> Hmm, I wonder why those libraries are in different directories? >> >> Anyway, did you build gretl yourself? I wonder if something went wrong >> with "make install", in particular the sub-target "make install-lang" >> in the gui2 directory: that installs the gretl.lang file that is needed >> for gretl's syntax highlighting.
