Ancestors

Toot

Written by Sg on 2024-08-29 at 07:10

At the moment I’m fixated on changing my Agda colorscheme to be simultaneously compatible with all colourblindness types. Found a few resources that appear to be good, just need to try it out.

I’m not colorblind, just interested.

=> More informations about this toot | More toots from stuartgale@types.pl

Descendants

Written by Sg on 2024-08-29 at 17:55

First pass at making Agda better for all types of colorblindness

@Andrev

=> View attached media

=> More informations about this toot | More toots from stuartgale@types.pl

Written by Sg on 2024-08-29 at 18:00

Original @pigworker colors for comparison

@Andrev

=> View attached media

=> More informations about this toot | More toots from stuartgale@types.pl

Written by Andre Videla on 2024-08-29 at 07:17

@stuartgale omg please do, i've always been interested in that

=> More informations about this toot | More toots from Andrev@types.pl

Written by Sg on 2024-08-29 at 07:25

@Andrev checking the settings in Emacs, there's way more options than I realised 😅

=> More informations about this toot | More toots from stuartgale@types.pl

Written by Jan de Muijnck-Hughes on 2024-08-29 at 17:58

@stuartgale @Andrev I have a colourblind style I use for papers. There is a copy of the scheme on my cis gitlab. I can share my semantic highlighting settings next time we are in the building.

=> More informations about this toot | More toots from jfdm@discuss.systems