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

fix build warning lit-element not found

Browse Source
This commit is contained in:
ucrhh 2021-01-29 10:16:00 +01:00
parent 07a7218192
commit 243c8f44db
4 changed files with 12 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -22,6 +22,7 @@ public class StartPageView extends VerticalLayout implements ControlPanelView {
private final Div content;
private final ControlPanel controlPanel;
MathjaxProofTree mjxPT;
public StartPageView() {
// todo implement correctly
@ -44,8 +45,8 @@ public class StartPageView extends VerticalLayout implements ControlPanelView {
content.add(new MathjaxUnification("\\(conswwwwwwWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWW"
+ "WWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWW"
+ "WWWWWWWWWWWWWWWWWWWWWtraint test \\vdash \\)"));
MathjaxProofTree mjxPT = new MathjaxProofTree(getTranslation("demo-tree"));
mjxPT.showStep(10);
mjxPT = new MathjaxProofTree(getTranslation("demo-tree"));
content.add(mjxPT);
content.add(new MathjaxProofTree(getTranslation("demo-tree")));
content.add(new MathjaxProofTree(getTranslation("demo-tree")));
content.add(new MathjaxProofTree(getTranslation("demo-tree")));
@ -53,8 +54,9 @@ public class StartPageView extends VerticalLayout implements ControlPanelView {
}
private void disableControlPanel() {
controlPanel.setEnabledFirstStep(false);
controlPanel.setEnabledLastStep(false);
// todo disable everything
// controlPanel.setEnabledFirstStep(false);
// controlPanel.setEnabledLastStep(false);
controlPanel.setEnabledNextStep(false);
controlPanel.setEnabledPreviousStep(false);
controlPanel.setEnabledShareButton(false);
@ -66,10 +68,12 @@ public class StartPageView extends VerticalLayout implements ControlPanelView {
@Override
public void firstStepButton() {
mjxPT.showStep(0);
}
@Override
public void lastStepButton() {
mjxPT.showStep(5);
}
@Override

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

@ -14,6 +14,7 @@ import edu.kit.typicalc.view.MathjaxAdapter;
* with MathJax.
*/
@Tag("tc-proof-tree")
@JsModule("./src/mathjax-adapter.ts")
@JsModule("./src/mathjax-proof-tree.ts")
public class MathjaxProofTree extends LitTemplate implements MathjaxAdapter {
@ -26,6 +27,7 @@ public class MathjaxProofTree extends LitTemplate implements MathjaxAdapter {
* Creates a new HTML element that renders the proof tree and cuts it into steps.
* The latex String must consist of exactly one proof tree environment in order for
* this element to work. In other cases the expected behaviour is undefined.
*
* @param latex the LaTeX-String to render with MathJax
*/
public MathjaxProofTree(String latex) {

1
src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/MathjaxUnification.java
View File

@ -13,6 +13,7 @@ import edu.kit.typicalc.view.MathjaxAdapter;
* step-revealing capabilities. Relies on MathjaxUnificationJS to interact with MathJax.
*/
@Tag("tc-unification")
@JsModule("./src/mathjax-adapter.ts")
@JsModule("./src/mathjax-unification.ts")
public class MathjaxUnification extends LitTemplate implements MathjaxAdapter {

1
src/main/java/edu/kit/typicalc/view/main/MathjaxDisplay.java
View File

@ -12,6 +12,7 @@ import edu.kit.typicalc.view.MathjaxAdapter;
* with MathJax.
*/
@Tag("tc-display")
@JsModule("./src/mathjax-adapter.ts")
@JsModule("./src/mathjax-display.ts")
public class MathjaxDisplay extends LitTemplate implements MathjaxAdapter {