Searched defs:LINE_NUMBER_PADDING (Results 1 – 2 of 2) sorted by relevance
1449 static const int LINE_NUMBER_PADDING = 3; in drawTextArea() local