Lines Matching full:terminal
326 /// the terminal, select the "interesting" region.1142 // If the source line is too long for our terminal, select only the
