Note the presence of double-spaced blank lines in the following document and in the attached source file:
\setuptyping[numbering=line]
\starttext
\startbuffer[javacode]
try {
final var num = stack.pop();
if( num != null ) {
stack.push( blah );
}
return true;
}
\stopbuffer
\type{\typebuffer}:
\typebuffer[javacode]
\type{\typing}:
\starttyping
try {
final var num = stack.pop();
if( num != null ) {
stack.push( blah );
}
return true;
}
\stoptyping
\type{\typefile}:
\typefile{t.java}
\stoptext
There appear to be two issues.
First, \typefile produces what I'd consider the "correct" result, where the double-spaced lines appear on the page as a double-space. Both the \typebuffer and \typing commands ignore double-spacing. The double-spacing is also ignored by \xmldisplayverbatim. How would you configure to give \typebuffer, \typing, and \xmldisplayverbatim to honour double-spaces the same way as \typefile?
Second, of lesser importance, is that the blank lines aren't numbered. This makes the line numbers inconsistent with respect to IDEs. How would you label all blank lines as well?
Out of curiosity, does the second issue relate to the first?
Thank you!