Interval of printed line numbers.
If this property is set to 0 no numbers will be printed. If greater than 0, a number will be printed every "print-line-numbers" lines ( i.e. 1 will print all line numbers).
The value of this property cannot be changed anymore after the first call to the [[email protected]] function.