On 30/03/14 10:46, Allin Cottrell wrote:
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

I have Debian in a laptop, but don't know whether this may help, because the setup is very different: it is Debian wheezy (stable) and Gretl is installed by compiling the CVS version. In any case this is what I have:

The results of 
ldd /path/to/gretl_x11 | grep gtk are:

    libgtksourceview-3.0.so.0 => /usr/lib/x86_64-linux-gnu/libgtksourceview-3.0.so.0 (0x00007f9f07538000)
    libgtk-3.so.0 => /usr/lib/x86_64-linux-gnu/libgtk-3.so.0 (0x00007f9f06ead000)

and gretl.lang is in:

/usr/share/gtksourceview-2.0/language-specs/gretl.lang
/usr/share/gtksourceview-3.0/language-specs/gretl.lang


--
Firma Arista
Ignacio Díaz-Emparanza
Zuzendaria/Director
ignacio.diaz-emparanza@ehu.es
94 6013732
EKONOMIA APLIKATUA III SAILA (EKONOMETRIA ETA ESTATISTIKA)/ DEPARTAMENTO DE ECONOMÍA APLICADA III (ECONOMETRÍA Y ESTADÍSTICA)
UPV/EHU
Avda. Lehendakari Aguirre, 83 | 48015 BILBAO
T.: +34 946013740 | F.: +34 946013754
 www.ea3.ehu.es
ERNE! Baliteke mezu honen zatiren bat edo mezu osoa legez babestuta egotea. Mezuak badu bere hartzailea. Okerreko helbidera heldu bada (helbidea gaizki idatzi, transmisioak huts egin) eman abisu igorleari, korreo honi erantzunda. Kontuz! Mezua ez bada zuretzat, ez erabili, ez zabaldu beste inori, ez kopiatu eta ez baliatu.
¡ATENCIÓN! Este mensaje contiene información privilegiada o confidencial a la que sólo tiene derecho a acceder el destinatario. Si usted lo recibe por error le agradeceríamos que no hiciera uso de la información y que se pusiese en contacto con el remitente.

E-mail hau inprimatu baino lehen egiaztatu inprimatzeko beharra.
Antes de imprimir este e-mail piense bien si es necesario hacerlo.