Lines Matching refs:enable_source_highlight
959 enable_source_highlight
28970 if test "${enable_source_highlight+set}" = set; then :
28971 enableval=$enable_source_highlight;
28981 enable_source_highlight=auto
28985 if test "${enable_source_highlight}" != "no"; then
28991 if test "${enable_source_highlight}" = "yes"; then
29065 if test "${enable_source_highlight}" = "yes"; then
29072 if test "${enable_source_highlight}" = "yes"; then
Indexes created Fri Apr 17 00:22:50 UTC 2026