Stéphane Démurget
(I had to add jar in the dependency node, but it's the only lib I need to do this, I wonder why)
hey I answered just after your comment from email but I see my reply was not sent over github or it does not work anymore to reply by email? ```...
thanks, I tested with 2.6.3 the change is very different, my app total distribution size: * with 1.16: 92MB * with 2.6.2: 167MB * with 2.6.3: 95MB I see indeed...
yes it's better but still brings a couple of libs from dokka... I'll ignore them in my project for the time being :+1: thanks for your help
I originally planned to do just that, but it's quite a challenge to support all configuration of a gnome terminal profile. I'm leaning towards adding all the "standard" settings directly...
I can't do that at the moment, see my previous comment.
No, it's worse: it means it can not even be Tango, Solarized. Just the defaults which are neither one of those.
@sferich888 I debugged that a long time ago but could not come up with a patch. The problem is that the Gdk.RGBA structure is correctly parsed, but when it's passed...
@sferich888 From my memory, this really had nothing to do with the way I used the API. I tried with different palettes, with or without RGBA... To make it simple,...
@sferich888 From what I remember, I did a Python test program where everything worked like a charm. Are there any other application using a terminal being written in Javascript using...