On Sun, 6 Dec 2020, Laurent Thery wrote:
> >
> > Is there any hope for getting a better solution? I upgraded my server,
> > and seem to have lost whatever I had done.
> >
>
> Note that you can put your change locally in
>
> ~/.local/share/gtksourceview-3.0/styles/
Thanks for the suggestion. B
>
> Is there any hope for getting a better solution? I upgraded my server,
> and seem to have lost whatever I had done.
>
Note that you can put your change locally in
~/.local/share/gtksourceview-3.0/styles/
A better solution would be great though ;-)
--
Laurent
___
Hello,
Our discussion about colors in why3 over the summer ended with the
following suggestion from Andrei:
---
As a quick and ugly measure I would probably just hack
/usr/share/gtksourceview-3.0/styles/classic.xml, which seems to be the
default.
---
Is there any hope for getting a better solu
On Tue, 16 Jun 2020, Andrei Paskevich wrote:
> Hi Julia,
>
> if I understand correctly the problem, you may want to look at the file
> share/lang/why3.lang — it contains the description of WhyML grammar, and the
>
Hi Julia,
if I understand correctly the problem, you may want to look at the file
share/lang/why3.lang — it contains the description of WhyML grammar, and
the
On Fri, 12 Jun 2020, Benoit Rognier wrote:
> the doc is here
> https://gitlab.inria.fr/why3/why3/-/blob/master/src/ide/gconfig.ml;)
I haven't made much progress with this. Probably the problem is that the
colors are not suitable at the theme level. For example, I have the same
unreadable blu
the doc is here
https://gitlab.inria.fr/why3/why3/-/blob/master/src/ide/gconfig.ml
;)
On Fri, Jun 12, 2020 at 6:15 PM Julia Lawall wrote:
>
>
> On Fri, 12 Jun 2020, Benoit Rognier wrote:
>
> > Hi Julia,
> > here is the ide section in my .why3.conf config file.
> >
> > [ide]
> > allow_source_edit
On Fri, 12 Jun 2020, Benoit Rognier wrote:
> Hi Julia,
> here is the ide section in my .why3.conf config file.
>
> [ide]
> allow_source_editing = true
> current_tab = 0
> error_color = "red"
> error_color_bg = "yellow"
> error_line_color = "yellow"
> font_size = 14
> goal_color = "#6698C8"
> ico
Hi Julia,
here is the ide section in my .why3.conf config file.
[ide]
allow_source_editing = true
current_tab = 0
error_color = "red"
error_color_bg = "yellow"
error_line_color = "yellow"
font_size = 14
goal_color = "#6698C8"
iconset = "flaticons"
max_boxes = 16
neg_premise_color = "dark magenta"
On Fri, 12 Jun 2020, Benoit Rognier wrote:
> Hello
> yes because it uses gtk(2?) technology. so you need to install a dark gtk
> theme.
> which os are you using? if not Linux, it can be a bit bumpy to configure.
> I did so on macos last year and it took some external libs to install the
> gtk t
On Fri, 12 Jun 2020, Benoit Rognier wrote:
> Hello
> yes because it uses gtk(2?) technology. so you need to install a dark gtk
> theme.
> which os are you using? if not Linux, it can be a bit bumpy to configure.
> I did so on macos last year and it took some external libs to install the
> gtk t
Hello
yes because it uses gtk(2?) technology. so you need to install a dark gtk
theme.
which os are you using? if not Linux, it can be a bit bumpy to configure.
I did so on macos last year and it took some external libs to install the
gtk theme switcher (via brew I guess)
regards,
Benoit
On Fr
Is there a dark theme for the IDE?
thanks,
julia
___
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club
13 matches
Mail list logo
