Searched refs:LINE_NUMBER_PADDING (Results 1 – 2 of 2) sorted by relevance
1449 static const int LINE_NUMBER_PADDING = 3; in drawTextArea() local1490 2 * LINE_NUMBER_PADDING + lineNumberWidth; in drawTextArea()1675 painter.drawText( lineNumberAreaStartX + LINE_NUMBER_PADDING, in drawTextArea()