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 1683 src/pgtkterm.c   if (bright < HIGHLIGHT_COLOR_DARK_BOOST_LIMIT)
HIGHLIGHT_COLOR_DARK_BOOST_LIMIT 1688 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 9511 src/xterm.c      if (bright < HIGHLIGHT_COLOR_DARK_BOOST_LIMIT)
HIGHLIGHT_COLOR_DARK_BOOST_LIMIT 9516 src/xterm.c          double dimness = 1 - (double) bright / HIGHLIGHT_COLOR_DARK_BOOST_LIMIT;