On Thu, 2 Nov 2017, oleg_komashko(a)ukr.net wrote:
I'm terribly sorry:
the new function is numhess.
It is in Function reference
but still uncolored
It's in the current gretl.lang file, and shows up colored here.
However, there's one situation in which gretl may end up reading an
out-of-date gretl.lang. Namely, you're building gretl on Linux and
installing under a prefix that differs from that used by the installed
gtksourceview (for example, gretl under /usr/local and gtksourceview
under /usr).
This is just a transitional problem, and is solved by deleting the
gretl.lang under
/usr/share/gtksourceview-2.0/language-specs/
or
/usr/share/gtksourceview-3.0/language-specs/
The point is that we used to try to install the lang file into the
"standard" gtksourceview location, regardless of the prefix chosen for
gretl, while now we install everything under the specified prefix.
This change was partly motivated by an objection from Dirk
Eddelbuettel (Debian packager) who argued that it was not acceptable
for a package to install anything outside of its own $prefix.
Allin