arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 10:20:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

Scoping ID to highlight type variables

Browse Source 
This should fix #10
This commit is contained in:
Arne Keller 2021-07-09 12:46:24 +02:00
parent 1b70e374ac
commit e2c874de5f
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorType.java
View File

@ -78,6 +78,8 @@ public class LatexCreatorType implements TypeVisitor {
// this class is used in frontend/src/mathjax-setup.js // this class is used in frontend/src/mathjax-setup.js
latex.append("\\class{typicalc-type typicalc-type-") latex.append("\\class{typicalc-type typicalc-type-")
.append(variable.hashCode()) .append(variable.hashCode())
.append("-")
.append(variable.getUniqueIndex())
.append("}{"); .append("}{");
} }
latex.append(name); latex.append(name);