Use ttfamily in hyperref text

This commit is contained in:
2018-12-10 19:02:25 +01:00
parent fba5e17229
commit 2c27790912

View File

@@ -1510,7 +1510,7 @@ public class TeXDoclet extends Doclet {
if (hyperref) { if (hyperref) {
os.print("\\hyperref[" os.print("\\hyperref["
+ refName(makeRefKey(mem.qualifiedName() + refName(makeRefKey(mem.qualifiedName()
+ mem.signature())) + "]{"); + mem.signature())) + "]{\\ttfamily ");
} }
os.print(BOLD os.print(BOLD
+ HTMLtoLaTeXBackEnd.fixText(mem.name() + HTMLtoLaTeXBackEnd.fixText(mem.name()
@@ -1547,7 +1547,7 @@ public class TeXDoclet extends Doclet {
FieldDoc mem = itr.next(); FieldDoc mem = itr.next();
if (hyperref) { if (hyperref) {
os.print("\\hyperref[" os.print("\\hyperref["
+ refName(makeRefKey(mem.qualifiedName())) + "]{"); + refName(makeRefKey(mem.qualifiedName())) + "]{\\ttfamily ");
} }
os.print(BOLD + HTMLtoLaTeXBackEnd.fixText(mem.name()) + "}"); os.print(BOLD + HTMLtoLaTeXBackEnd.fixText(mem.name()) + "}");
if (hyperref) { if (hyperref) {
@@ -1741,7 +1741,7 @@ public class TeXDoclet extends Doclet {
String classname = mem.containingClass().qualifiedName(); String classname = mem.containingClass().qualifiedName();
if (hyperref) { if (hyperref) {
os.print("\\hyperref[" + refName(makeRefKey(classname)) os.print("\\hyperref[" + refName(makeRefKey(classname))
+ "]{"); + "]{\\ttfamily");
} }
os.print(packageRelativIdentifier(pac, classname)); os.print(packageRelativIdentifier(pac, classname));
if (hyperref) { if (hyperref) {
@@ -2063,7 +2063,7 @@ public class TeXDoclet extends Doclet {
htmlstr += "<TEX txt=\"\\texttt{\\small "; htmlstr += "<TEX txt=\"\\texttt{\\small ";
if (hyperref) { if (hyperref) {
htmlstr += "\\hyperref[" htmlstr += "\\hyperref["
+ refName(makeRefKey(linkstr)) + "]{"; + refName(makeRefKey(linkstr)) + "]{\\ttfamily ";
} }
if (!link.label().isEmpty()) { if (!link.label().isEmpty()) {
label = link.label(); label = link.label();
@@ -2198,7 +2198,7 @@ public class TeXDoclet extends Doclet {
if (memName.equals("") == false) { if (memName.equals("") == false) {
os.print(TRUETYPE); os.print(TRUETYPE);
if (hyperref) { if (hyperref) {
os.print("\\hyperref[" + refName(makeRefKey(memName)) + "]{"); os.print("\\hyperref[" + refName(makeRefKey(memName)) + "]{\\ttfamily ");
} }
// os.print(HTMLtoLaTeXBackEnd.fixText(memText)); // os.print(HTMLtoLaTeXBackEnd.fixText(memText));
// System.out.println("see also link : " + memText); // System.out.println("see also link : " + memText);