HIGHLIGHT_COLOR_DARK_BOOST_LIMIT 3036 src/androidterm.c   if (bright < HIGHLIGHT_COLOR_DARK_BOOST_LIMIT)
HIGHLIGHT_COLOR_DARK_BOOST_LIMIT 3041 src/androidterm.c       double dimness = 1 - (double) bright / HIGHLIGHT_COLOR_DARK_BOOST_LIMIT;
HIGHLIGHT_COLOR_DARK_BOOST_LIMIT 1686 src/pgtkterm.c   if (bright < HIGHLIGHT_COLOR_DARK_BOOST_LIMIT)
HIGHLIGHT_COLOR_DARK_BOOST_LIMIT 1691 src/pgtkterm.c       double dimness = 1 - (double) bright / HIGHLIGHT_COLOR_DARK_BOOST_LIMIT;
HIGHLIGHT_COLOR_DARK_BOOST_LIMIT 1580 src/w32term.c    if (bright < HIGHLIGHT_COLOR_DARK_BOOST_LIMIT)
HIGHLIGHT_COLOR_DARK_BOOST_LIMIT 1585 src/w32term.c        double dimness = 1 - (double)bright / HIGHLIGHT_COLOR_DARK_BOOST_LIMIT;
HIGHLIGHT_COLOR_DARK_BOOST_LIMIT 9569 src/xterm.c      if (bright < HIGHLIGHT_COLOR_DARK_BOOST_LIMIT)
HIGHLIGHT_COLOR_DARK_BOOST_LIMIT 9574 src/xterm.c          double dimness = 1 - (double) bright / HIGHLIGHT_COLOR_DARK_BOOST_LIMIT;