dbuenzli / down

An OCaml toplevel (REPL) upgrade

Home Page:http://erratique.ch/software/down

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Use of faint and colors

dbuenzli opened this issue · comments

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 :

  • For the types in completed symbols. The fainted color is the default foreground color.
  • For past prompts both in recording and non-recording mode. The fainted color is either green or cyan.

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.

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.