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"
> iconset = "flaticons"
> max_boxes = 16
> neg_premise_color = "dark magenta"
> premise_color = "#2F3E4D"
> print_attributes = false
> print_coercions = true
> print_locs = false
> print_time_limit = true
> saving_policy = 1
> show_full_context = false
> task_height = 633
> tree_width = 519
> verbose = 0
> window_height = 896
> window_width = 1339
Thanks! I was just looking at what can be configured in the GUI, but I
see that there are more options.
julia
>
> hope this helps,
> regards
> Benoit
>
> On Fri, Jun 12, 2020 at 3:59 PM Julia Lawall <julia.law...@inria.fr> wrote:
>
>
> 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 theme switcher (via brew I guess)
>
> OK, I've now got the theme I want, but the red and blue keywords
> and the
> magenta numbers are fairly unreadable. Is it possible to change
> them?
> There is a green that is very readable. I would be fine with
> everything
> that is colored having that green color.
>
> thanks,
> julia
>
>
>
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club
