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

fix checkstyle

Browse Source
This commit is contained in:
ucrhh 2021-01-29 00:22:20 +01:00
parent 4d6fada4cf
commit 8af49fca09
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/java/edu/kit/typicalc/view/content/infocontent/StartPageView.java
View File

@ -33,7 +33,9 @@ public class StartPageView extends VerticalLayout implements ControlPanelView {
scroller.setSizeFull();
scroller.setScrollDirection(Scroller.ScrollDirection.BOTH);
content.add(new MathjaxDisplay(getTranslation("abs-rule")));
content.add(new MathjaxUnification("\\(conswwwwwwWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWtraint test \\vdash \\)"));
content.add(new MathjaxUnification("\\(conswwwwwwWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWW"
+ "WWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWW"
+ "WWWWWWWWWWWWWWWWWWWWWtraint test \\vdash \\)"));
MathjaxProofTree mjxPT = new MathjaxProofTree(getTranslation("demo-tree"));
mjxPT.showStep(10);
content.add(new MathjaxProofTree(getTranslation("demo-tree")));