On Mon, 28 Dec 2015, Riccardo (Jack) Lucchetti wrote:
On Mon, 28 Dec 2015, Logan Kelly wrote:
> You guys ROCK!!!!!! The new themes look great!!!
>
> Merry Christmas and Happy New Year!!
It's all Allin's work. All I did was posting the news.
In the credit-where-it's-due department, I didn't actually create
the extra styles, I just figured out the gtksourceview API to read
and select style information, and hooked up the relevant functions
to the gretl GUI.
If anyone wants to create their own style, it's a fairly simple XML
format; one could take gtksourceview's cobalt.xml as template. I
think that if you put a well-formed style file in the same directory
as classic.xml, colbalt.xml and friends it should automatically show
up in the right-click listing.
Allin