You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Methods onPushSubLanguage and onPushOriginalSubLanguage in StyleRenderer have the same javadoc. Furthermore, onPushOriginalSubLanguage seems to be only ever called with null name parameter. Looks like a remnant of previous changes that introduced generics.
Also whereas onPushSubLanguage gets formatted HTML, onPushOriginalSubLanguage seems to receive original unformatted source code (not tested, just looking at how it is called). And yet the default HtmlRenderer does not escape code parameter of onPushOriginalSubLanguage.
The text was updated successfully, but these errors were encountered:
Methods
onPushSubLanguage
andonPushOriginalSubLanguage
inStyleRenderer
have the same javadoc. Furthermore,onPushOriginalSubLanguage
seems to be only ever called with nullname
parameter. Looks like a remnant of previous changes that introduced generics.Also whereas
onPushSubLanguage
gets formatted HTML,onPushOriginalSubLanguage
seems to receive original unformatted source code (not tested, just looking at how it is called). And yet the defaultHtmlRenderer
does not escapecode
parameter ofonPushOriginalSubLanguage
.The text was updated successfully, but these errors were encountered: