HomeSort by: relevance | last modified time | path
    Searched defs:right_margin_size (Results 1 - 2 of 2) sorted by relevancy

  /src/external/gpl3/gcc/dist/gcc/
diagnostic-show-locus.cc 1682 int right_margin_size = CARET_LINE_MARGIN; local
1683 right_margin_size = MIN (eol_display_column - caret_display_column,
1684 right_margin_size);
1685 if (right_margin_size + left_margin_size >= max_width)
1691 const int max_caret_display_column = max_width - right_margin_size;
  /src/external/gpl3/gcc.old/dist/gcc/
diagnostic-show-locus.cc 1659 int right_margin_size = CARET_LINE_MARGIN; local
1660 right_margin_size = MIN (eol_display_column - caret_display_column,
1661 right_margin_size);
1662 if (right_margin_size + left_margin_size >= max_width)
1668 const int max_caret_display_column = max_width - right_margin_size;

Completed in 30 milliseconds