search

dbuenzli / down

An OCaml toplevel (REPL) upgrade
http://erratique.ch/software/down
ISC License
81 stars 3 forks source link

Use of faint and colors #10

Open dbuenzli opened 5 years ago

dbuenzli commented 5 years ago

It has been pointed to me that using the ANSI faint mode (decreased intensity) might not provide a good experience on some terminals.

Either they do not honour the mode (which is not that horrible) or they stupidly switch to an entirely different color (which may be more unpleasant and misses the point).

There are two usages of faint which can be seen on the screenshot in the readme :

Tests with using high intensity and normal intensity for the second case were inconclusive in making a significant difference for the single prompt symbol (#).

If the colors end up being unpleasant for you please post a version of the screenshot for your terminal.

I'm considering simply adding a Down.tty_no_faint () invocation which one could add to the .ocamlinit file and would simply disable faint color usage; allowing full theming seems a bit overboard but in any case style usage is contained here.

dbuenzli commented 5 years ago

Commit 795bd97 added a non faint mode. As far as 2. is concerned, in non faint mode, prompt distinctions are made with color and their high intensity, maybe it would be better to simply not color past prompts in that case.