Tools/texdoclet
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Displaying {@link } tags using true type font.

Browse Source
This commit is contained in:
Cedric Priscal
2015-03-18 14:07:09 -07:00
parent 86da3c7dd7
commit cac3b0ee1d
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/java/org/stfm/texdoclet/TeXDoclet.java
View File

@@ -2006,7 +2006,7 @@ public class TeXDoclet extends Doclet {
} else { } else {
// Encapsulate the link in a "TEX" tag and let // Encapsulate the link in a "TEX" tag and let
// HTMLtoLaTeXBackEnd.fixText handle the rest. // HTMLtoLaTeXBackEnd.fixText handle the rest.
htmlstr += "<TEX txt=\""; htmlstr += "<TEX txt=\"\\texttt{\\small ";
if (hyperref) { if (hyperref) {
htmlstr += "\\hyperlink{" htmlstr += "\\hyperlink{"
+ refName(makeRefKey(linkstr)) + "}{"; + refName(makeRefKey(linkstr)) + "}{";
@@ -2015,7 +2015,7 @@ public class TeXDoclet extends Doclet {
if (hyperref) { if (hyperref) {
htmlstr += "}"; htmlstr += "}";
} }
htmlstr += "{\\small \n"; htmlstr += "}{\\small \n";
htmlstr += "\\refdefined{" + refName(makeRefKey(linkstr)) htmlstr += "\\refdefined{" + refName(makeRefKey(linkstr))
+ "}"; + "}";
htmlstr += "}"; htmlstr += "}";