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 <style> tags inside map WhyML categories to the general GTK categories. This file does not specify concrete colors, however. These on my system are defined in the files in /usr/share/gtksourceview-3.0/styles/
However, it seems that Why3 does not allow you to choose the style, neither in the IDE nor through the config file (this probably merits a new #issue), and I can't find whether the gtksourceview style can be set globally for all GTK programs. 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. Best, Andrei On Tue, 16 Jun 2020 at 19:00, Julia Lawall <julia.law...@inria.fr> wrote: > > > 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 blue in emacs in some cases as in why3, but in emacs it is used > for things that I don't need to read. > > Is there some way to figure out how words like ensures, requires, variant, > invariant, and old are being reported to GTK? And likewise let, for, in, > forall, and exists. If these words are considered to be in some > categories, perhaps I could figure out how to globally change the colors > associated with these categories. > > thanks, > julia > > > > > > > On Fri, Jun 12, 2020 at 6:15 PM Julia Lawall <julia.law...@inria.fr> > 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_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 >
_______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
