12:06 p.m.
Am 10.01.20 um 09:38 schrieb Sven Schreiber:
Hi,
I'm wondering: wouldn't it be easy to get gretl syntax highlighting also
in other GTK-related text editors, like Gedit? Since gretl uses the
gtksourceview library/standard, could it even be as simple as to re-use
the file gui/gretl.lang?
If yes, would it be an idea to submit this definition file upstream to
the GTK/Gnome people?
Hi all,
let me hijack that post for a related issue:
In summer we've spoken about an eventual new GUI for gretl. When playing
around with Julia a while ago I've used the atom text editor
(https://atom.io/) and the Juno IDE (http://docs.junolab.org/latest/)
based on atom.
Atom is a open-source project pushed by facebook and offers a very
flexible 'state-of-the-art' editor which can be extended to become a
proper IDE. Juno, for instance, offers syntax highlighting, a plot pane,
integration with Julia's debugger, a console for running code etc.
As there are many templates out there on how to build such an IDE based
on atom for different software: Why not make use of that thing?
Best,
Artur
11:32 a.m.
New subject: external editors (gtksourceview)
Am 11.01.2020 um 13:06 schrieb Artur Tarassow:
Am 10.01.20 um 09:38 schrieb Sven Schreiber:
> Hi,
>
> I'm wondering: wouldn't it be easy to get gretl syntax highlighting also
> in other GTK-related text editors, like Gedit? Since gretl uses the
> gtksourceview library/standard, could it even be as simple as to re-use
> the file gui/gretl.lang?
> If yes, would it be an idea to submit this definition file upstream to
> the GTK/Gnome people?
let me hijack that post for a related issue:
In summer we've spoken about an eventual new GUI for gretl.
Slightly OT: Artur since you're on Linux AFAIK you could use the option
to run gretl via GTK3 in a single browser window, as some people over
the years have reported. That way you would have all the gretl windows
in one place.
Atom is a open-source project pushed by facebook and offers a very
flexible 'state-of-the-art' editor which can be extended to become a
proper IDE. Juno, for instance, offers syntax highlighting,
Well, starting with syntax highlighting, how would that have to be
specified there?
My thought about Gedit etc. was that the ingredients might already
exist. I will test.
cheers
sven
5:29 p.m.
New subject: external editors (gtksourceview)
Am 16.01.2020 um 12:32 schrieb Sven Schreiber:
My thought about Gedit etc. was that the ingredients might already
exist. I will test.
Well it didn't work so easily, probably because I made a mistake
somewhere. On a Linux Mint system (running with GTK3 I believe) I took
the existing gretl.lang file and copied it into
/usr/share/gtksourceview-3.0/language-definitions (hope I got that dir
path right here). Then I logged out and in again. Gedit then offers a
"gretl" entry among the recognized programming languages, but no syntax
highlighting is done. Too bad.
cheers
sven
7:40 p.m.
New subject: external editors (gtksourceview)
On Thu, 16 Jan 2020, Sven Schreiber wrote:
Am 16.01.2020 um 12:32 schrieb Sven Schreiber:
>
> My thought about Gedit etc. was that the ingredients might already
> exist. I will test.
>
Well it didn't work so easily, probably because I made a mistake
somewhere. On a Linux Mint system (running with GTK3 I believe) I took
the existing gretl.lang file and copied it into
/usr/share/gtksourceview-3.0/language-definitions (hope I got that dir
path right here). Then I logged out and in again. Gedit then offers a
"gretl" entry among the recognized programming languages, but no syntax
highlighting is done. Too bad.
I gave that a quick go myself but didn't get as far as you! No
highlighting, and not even any "gretl" entry in the language listing.
This was with gedit 3.34.1. BTW the path is
/usr/share/gtksourceview-3.0/language-specs .
Allin
1:17 p.m.
New subject: external editors (gtksourceview)
Am 16.01.2020 um 20:40 schrieb Allin Cottrell:
On Thu, 16 Jan 2020, Sven Schreiber wrote:
> path right here). Then I logged out and in again. Gedit then
offers a
> "gretl" entry among the recognized programming languages, but no syntax
> highlighting is done. Too bad.
I gave that a quick go myself but didn't get as far as you! No
highlighting, and not even any "gretl" entry in the language listing.
This was with gedit 3.34.1. BTW the path is
/usr/share/gtksourceview-3.0/language-specs .
OK, I managed to get it working now. The problems seem to be the
references to the (non-open-source) foreign languages Stata and perhaps
also Ox.
So I commented out everything related to that; in particular the
<context id="foreign-stata"... and <context id="foreign-ox"...
blocks,
along with the associated lines close to the end of the file:
<!-- <context ref="foreign-stata"/> -->
<context ref="foreign-python"/>
<!-- <context ref="foreign-ox"/> -->
This time I copied the file not to the system-wide location but to
~/.local/share/gtksourceview-3.0/language-specs, but that shouldn't
matter of course.
Then restarting Gedit gave me syntax-coloring for gretl .inp files alright!
I think we should send such a variant of gretl.lang upstream to the
Gtksourceview/Gnome people - but perhaps it should be called hansl.lang
instead?
About the file being recognized or not (Allin's problem): Perhaps it
helps if you install some gretl version in the standard way from your
Linux distro's packages. I suspect that that will make the MIME types
properly known somehow. Don't know yet if it continues to work after the
(outdated) official gretl distro package is uninstalled again.
Now I'm going to look for a GTK-based editor for Windows...
cheers
sven
7:53 p.m.
New subject: external editors (gtksourceview)
On Sat, 18 Jan 2020, Sven Schreiber wrote:
Am 16.01.2020 um 20:40 schrieb Allin Cottrell:
> On Thu, 16 Jan 2020, Sven Schreiber wrote:
>> path right here). Then I logged out and in again. Gedit then offers a
>> "gretl" entry among the recognized programming languages, but no
syntax
>> highlighting is done. Too bad.
>
> I gave that a quick go myself but didn't get as far as you! No
> highlighting, and not even any "gretl" entry in the language listing.
> This was with gedit 3.34.1. BTW the path is
> /usr/share/gtksourceview-3.0/language-specs .
OK, I managed to get it working now. The problems seem to be the
references to the (non-open-source) foreign languages Stata and perhaps
also Ox.
So I commented out everything related to that; in particular the
<context id="foreign-stata"... and <context id="foreign-ox"...
blocks,
along with the associated lines close to the end of the file:
<!-- <context ref="foreign-stata"/> -->
<context ref="foreign-python"/>
<!-- <context ref="foreign-ox"/> -->
This time I copied the file not to the system-wide location but to
~/.local/share/gtksourceview-3.0/language-specs, but that shouldn't
matter of course.
Then restarting Gedit gave me syntax-coloring for gretl .inp files alright!
Ah, I'm seeing that too now -- after figuring out that on my system
gedit uses gtksourceview-4, so I was putting the lang file in the
wrong place before.
Meanwhile I've modified mklang.c in two ways:
* While the gretl file is still called gretl.lang and its "id" is
still "gretl", its "name" (inside the file, which appears in the
gedit language listing) is now "hansl".
* There's an option, "--gtksv", which skips the Stata and Ox foreign
support.
Allin
9:28 p.m.
New subject: external editors (gtksourceview)
Am 19.01.2020 um 20:53 schrieb Allin Cottrell:
On Sat, 18 Jan 2020, Sven Schreiber wrote:
Meanwhile I've modified mklang.c in two ways:
* While the gretl file is still called gretl.lang and its "id" is still
"gretl", its "name" (inside the file, which appears in the gedit
language listing) is now "hansl".
* There's an option, "--gtksv", which skips the Stata and Ox foreign
support.
Do you want me to get in touch with the people from gtksourceview to get
the file "adopted"? (Maybe they could also comment on the naming policy,
gretl and/or hansl.)
cheers
sven
1:19 p.m.
New subject: external editors (gtksourceview)
On Sun, 19 Jan 2020, Sven Schreiber wrote:
Am 19.01.2020 um 20:53 schrieb Allin Cottrell:
> On Sat, 18 Jan 2020, Sven Schreiber wrote:
> Meanwhile I've modified mklang.c in two ways:
>
> * While the gretl file is still called gretl.lang and its "id" is still
> "gretl", its "name" (inside the file, which appears in the
gedit
> language listing) is now "hansl".
>
> * There's an option, "--gtksv", which skips the Stata and Ox foreign
> support.
Do you want me to get in touch with the people from gtksourceview to get
the file "adopted"? (Maybe they could also comment on the naming policy,
gretl and/or hansl.)
Yes, thanks, that's a good idea.
I also found that the full version of gretl.lang works with gedit if
one installs gui/stata.lang (from the gretl source tree) into the
relevant language-specs directory -- though that's probably not
something we'd want to ask gtksourceview to do.
Allin
4:01 p.m.
New subject: external editors (gtksourceview)
Am 20.01.2020 um 14:19 schrieb Allin Cottrell:
On Sun, 19 Jan 2020, Sven Schreiber wrote:
> Am 19.01.2020 um 20:53 schrieb Allin Cottrell:
>> On Sat, 18 Jan 2020, Sven Schreiber wrote:
>
>> Meanwhile I've modified mklang.c in two ways:
>>
>> * While the gretl file is still called gretl.lang and its "id" is
still
>> "gretl", its "name" (inside the file, which appears in the
gedit
>> language listing) is now "hansl".
>>
>> * There's an option, "--gtksv", which skips the Stata and Ox
foreign
>> support.
>
> Do you want me to get in touch with the people from gtksourceview to get
> the file "adopted"? (Maybe they could also comment on the naming policy,
> gretl and/or hansl.)
Yes, thanks, that's a good idea.
I also found that the full version of gretl.lang works with gedit if
one installs gui/stata.lang (from the gretl source tree) into the
relevant language-specs directory -- though that's probably not
something we'd want to ask gtksourceview to do.
Well, they can decide that, too.
So what's the official procedure to get the cleaned lang file, where do
I have to append the --gtksv option, at the configure stage?
thanks
sven
4:48 p.m.
New subject: external editors (gtksourceview)
On Mon, 20 Jan 2020, Sven Schreiber wrote:
Am 20.01.2020 um 14:19 schrieb Allin Cottrell:
> On Sun, 19 Jan 2020, Sven Schreiber wrote:
>
> > Am 19.01.2020 um 20:53 schrieb Allin Cottrell:
> > > On Sat, 18 Jan 2020, Sven Schreiber wrote:
> >
> > > Meanwhile I've modified mklang.c in two ways:
> > >
> > > * While the gretl file is still called gretl.lang and its "id"
is still
> > > "gretl", its "name" (inside the file, which appears in
the gedit
> > > language listing) is now "hansl".
> > >
> > > * There's an option, "--gtksv", which skips the Stata and Ox
foreign
> > > support.
> >
> > Do you want me to get in touch with the people from gtksourceview to get
> > the file "adopted"? (Maybe they could also comment on the naming
policy,
> > gretl and/or hansl.)
>
> Yes, thanks, that's a good idea.
>
> I also found that the full version of gretl.lang works with gedit if
> one installs gui/stata.lang (from the gretl source tree) into the
> relevant language-specs directory -- though that's probably not
> something we'd want to ask gtksourceview to do.
Well, they can decide that, too.
So what's the official procedure to get the cleaned lang file, where do
I have to append the --gtksv option, at the configure stage?
No, just in execution of gui/mklang:
./mklang --gtksv > somename.lang
Allin
7:59 p.m.
New subject: external editors (gtksourceview)
Am 20.01.2020 um 17:01 schrieb Sven Schreiber:
Am 20.01.2020 um 14:19 schrieb Allin Cottrell:
> On Sun, 19 Jan 2020, Sven Schreiber wrote:
>> Am 19.01.2020 um 20:53 schrieb Allin Cottrell:
>>>
>>> * While the gretl file is still called gretl.lang and its "id" is
>>> still
>>> "gretl", its "name" (inside the file, which appears in
the gedit
>>> language listing) is now "hansl".
>>>
>>> * There's an option, "--gtksv", which skips the Stata and Ox
foreign
>>> support.
>>
>> Do you want me to get in touch with the people from gtksourceview to
>> get
>> the file "adopted"? (Maybe they could also comment on the naming
>> policy,
>> gretl and/or hansl.)
>
> Yes, thanks, that's a good idea.
OK, two things: First one of them said quite clearly that the file
should be named hansl.lang when the language is called hansl (also
inside the file). Of course I guess one could make the case that the
"foreign" apparatus in gretl.lang makes it a superset of hansl which
might warrant to call it gretl. But in any case it seems it's not a good
idea to use both in connection with one single file. So maybe we just
leave things as they were in that area.
Secondly, they pointed out that a package (on the Gnome desktop, I
presume) can easily install the .lang files automatically in the same
places where we had put them manually. That sounded quite convincing to
me. So why not just modify the gretl installation routine to put
gretl.lang into /usr/share/gtksourceview.../language-specs (where the
... indicate various possible versions, and why not install into all of
them) ? That way they are available to gedit and so on.
Would the second thing involve the Linux distro package maintainers?
> I also found that the full version of gretl.lang works with gedit
if
> one installs gui/stata.lang (from the gretl source tree) into the
> relevant language-specs directory -- though that's probably not
> something we'd want to ask gtksourceview to do.
No, but that could also be done by gretl. Unless we do not want to
provide that public good to Stata ;-)
thanks
sven
9:15 p.m.
New subject: external editors (gtksourceview)
On Tue, 21 Jan 2020, Sven Schreiber wrote:
Am 20.01.2020 um 17:01 schrieb Sven Schreiber:
> Am 20.01.2020 um 14:19 schrieb Allin Cottrell:
> > On Sun, 19 Jan 2020, Sven Schreiber wrote:
> > > Am 19.01.2020 um 20:53 schrieb Allin Cottrell:
> > > >
> > > > * While the gretl file is still called gretl.lang and its
"id" is
> > > > still
> > > > "gretl", its "name" (inside the file, which
appears in the gedit
> > > > language listing) is now "hansl".
> > > >
> > > > * There's an option, "--gtksv", which skips the Stata
and Ox foreign
> > > > support.
> > >
> > > Do you want me to get in touch with the people from gtksourceview to
> > > get
> > > the file "adopted"? (Maybe they could also comment on the
naming
> > > policy,
> > > gretl and/or hansl.)
> >
> > Yes, thanks, that's a good idea.
OK, two things: First one of them said quite clearly that the file
should be named hansl.lang when the language is called hansl (also
inside the file). Of course I guess one could make the case that the
"foreign" apparatus in gretl.lang makes it a superset of hansl which
might warrant to call it gretl. But in any case it seems it's not a good
idea to use both in connection with one single file. So maybe we just
leave things as they were in that area.
OK, I'll revert the recent change.
Secondly, they pointed out that a package (on the Gnome desktop, I
presume) can easily install the .lang files automatically in the same
places where we had put them manually. That sounded quite convincing to
me. So why not just modify the gretl installation routine to put
gretl.lang into /usr/share/gtksourceview.../language-specs (where the
... indicate various possible versions, and why not install into all of
them) ? That way they are available to gedit and so on.
That makes sense. The only thing is that I don't think we should be
installing other people's files (stata.lang, gnuplot.lang, extra style
files) into the system-wide gtksourceview directories -- so we'll
probably have to keep our own gtksourceview directory. But I guess
we could also dump the mildly sanitized version of gretl.lang into
the system language-spec dirs.
Allin
10:39 a.m.
New subject: external editors (gtksourceview)
Am 16.01.20 um 12:32 schrieb Sven Schreiber:
Am 11.01.2020 um 13:06 schrieb Artur Tarassow:
> Am 10.01.20 um 09:38 schrieb Sven Schreiber:
>> Hi,
>>
>> I'm wondering: wouldn't it be easy to get gretl syntax highlighting also
>> in other GTK-related text editors, like Gedit? Since gretl uses the
>> gtksourceview library/standard, could it even be as simple as to re-use
>> the file gui/gretl.lang?
>> If yes, would it be an idea to submit this definition file upstream to
>> the GTK/Gnome people?
> let me hijack that post for a related issue:
> In summer we've spoken about an eventual new GUI for gretl.
Slightly OT: Artur since you're on Linux AFAIK you could use the option
to run gretl via GTK3 in a single browser window, as some people over
the years have reported. That way you would have all the gretl windows
in one place.
I am not really favoring a single browser window.
> Atom is a open-source project pushed by facebook and offers a
very
> flexible 'state-of-the-art' editor which can be extended to become a
> proper IDE. Juno, for instance, offers syntax highlighting,
Well, starting with syntax highlighting, how would that have to be
specified there?
Definitely it can be configured. But I haven't checked it in detail. But
its definitely not a simple list of key words which are checked or
loaded. A bit more complicated.
My thought about Gedit etc. was that the ingredients might already
exist. I will test.
By the way, if you choose syntax highlighting for "C", the results are
not that bad.
Best,
Artur
1797
days inactive
1807
days old
12 comments
3 participants
participants (3)
-
Allin Cottrell -
Artur Tarassow -
Sven Schreiber