mirror of
https://github.com/openjdk/jdk.git
synced 2025-09-20 11:04:34 +02:00
Fix comment
This commit is contained in:
parent
8a9036d6a3
commit
69464173f0
1 changed files with 1 additions and 1 deletions
|
@ -1914,7 +1914,7 @@ public class DocCommentParser {
|
||||||
class NormalizationContext {
|
class NormalizationContext {
|
||||||
int pos = 0; // current position in doctree list
|
int pos = 0; // current position in doctree list
|
||||||
int currentPre = -1; // position of active pre start tag
|
int currentPre = -1; // position of active pre start tag
|
||||||
int strippableNewline = -1; // marker for strippable leading space
|
int strippableNewline = -1; // position marker for leading newline to be stripped
|
||||||
|
|
||||||
// Are we currently inside a <pre> element?
|
// Are we currently inside a <pre> element?
|
||||||
boolean inPre() {
|
boolean inPre() {
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue