Fix whitespace after comma

This commit is contained in:
Lucas Alber
2018-12-18 10:45:12 +01:00
parent 9e26cb57e3
commit e6fcffe6f0

View File

@@ -1692,7 +1692,7 @@ public class TeXDoclet extends Doclet {
String parmstr = ""; String parmstr = "";
for (; p < parms.length; ++p) { for (; p < parms.length; ++p) {
if (p > 0) { if (p > 0) {
os.print(","); os.print(", ");
} }
Type t = parms[p].type(); Type t = parms[p].type();
os.print(packageRelativIdentifier(pac, t.qualifiedTypeName())); os.print(packageRelativIdentifier(pac, t.qualifiedTypeName()));
@@ -1701,11 +1701,11 @@ public class TeXDoclet extends Doclet {
os.print(" " + parms[p].name()); os.print(" " + parms[p].name());
} }
if (qparmstr.length() != 0) { if (qparmstr.length() != 0) {
qparmstr += ","; qparmstr += ", ";
} }
qparmstr += t.qualifiedTypeName() + t.dimension(); qparmstr += t.qualifiedTypeName() + t.dimension();
if (parmstr.length() != 0) { if (parmstr.length() != 0) {
parmstr += ","; parmstr += ", ";
} }
parmstr += t.typeName() + t.dimension(); parmstr += t.typeName() + t.dimension();
} }