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

kleinere Änderungen nach 2. Tester

Browse Source
This commit is contained in:
Johanna Stuber 2021-02-28 16:09:09 +01:00
parent b2aae87b55
commit dda2f4747b
4 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstants.java
View File

@ -34,11 +34,11 @@ public final class LatexCreatorConstants {
protected static final char BRACKET_LEFT = '['; protected static final char BRACKET_LEFT = '[';
protected static final char BRACKET_RIGHT = ']'; protected static final char BRACKET_RIGHT = ']';
protected static final String LABEL_ABS = "\\LeftLabel{\\rm A{\\small BS}}"; protected static final String LABEL_ABS = "\\LeftLabel{\\textrm A{\\small BS}}";
protected static final String LABEL_APP = "\\LeftLabel{\\rm A{\\small PP}}"; protected static final String LABEL_APP = "\\LeftLabel{\\textrm A{\\small PP}}";
protected static final String LABEL_CONST = "\\LeftLabel{\\rm C{\\small ONST}}"; protected static final String LABEL_CONST = "\\LeftLabel{\\textrm C{\\small ONST}}";
protected static final String LABEL_VAR = "\\LeftLabel{\\rm V{\\small AR}}"; protected static final String LABEL_VAR = "\\LeftLabel{\\textrm V{\\small AR}}";
protected static final String LABEL_LET = "\\LeftLabel{\\rm L{\\small ET}}"; protected static final String LABEL_LET = "\\LeftLabel{\\textrm L{\\small ET}}";
protected static final String UIC = "\\UnaryInfC"; protected static final String UIC = "\\UnaryInfC";
protected static final String BIC = "\\BinaryInfC"; protected static final String BIC = "\\BinaryInfC";

2
src/main/java/edu/kit/typicalc/view/main/InputBar.java
View File

@ -76,7 +76,7 @@ public class InputBar extends HorizontalLayout implements LocaleChangeObserver {
UI.getCurrent().getPage().executeJs("window.lambdaButtonListener($0, $1);", LAMBDA_BUTTON_ID, INPUT_FIELD_ID); UI.getCurrent().getPage().executeJs("window.lambdaButtonListener($0, $1);", LAMBDA_BUTTON_ID, INPUT_FIELD_ID);
typeAssumptions = new Button("", event -> onTypeAssumptionsButton()); typeAssumptions = new Button("", event -> onTypeAssumptionsButton());
typeAssumptionsArea = new TypeAssumptionsArea(); typeAssumptionsArea = new TypeAssumptionsArea();
Button exampleButton = new Button(getTranslation("root.examplebutton"), event -> onExampleButtonClick()); Button exampleButton = new Button(VaadinIcon.PAPERCLIP.create(), event -> onExampleButtonClick());
exampleButton.setId(EXAMPLE_BUTTON_ID); exampleButton.setId(EXAMPLE_BUTTON_ID);
inferTypeButton = new Button("", event -> onTypeInferButtonClick(callback)); inferTypeButton = new Button("", event -> onTypeInferButtonClick(callback));
inferTypeButton.addClickShortcut(Key.ENTER).listenOn(this); inferTypeButton.addClickShortcut(Key.ENTER).listenOn(this);

2
src/main/resources/language/translation_de.properties
View File

@ -70,7 +70,7 @@ Typherleitungsbaums des eingegebenen Terms und die benötigen Pakete zum Einbind
Zusätzlich dazu enthält der Dialog einen Permalink zur aktuellen Seite, der sowohl den Term als auch die Typannahmen \ Zusätzlich dazu enthält der Dialog einen Permalink zur aktuellen Seite, der sowohl den Term als auch die Typannahmen \
kodiert. kodiert.
root.TOO_FEW_TOKENS=Falsche Eingabe! Der Term endet abrupt. root.TOO_FEW_TOKENS=Falsche Eingabe! Der Term endet abrupt.
root.tooFewTokensHelp=Überprüfen sie, ob alle Let-, Abs- und App-Terme über die nötigen Argumente verfügen. root.tooFewTokensHelp=Überprüfen Sie, ob alle Let-, Abs- und App-Terme über die nötigen Argumente verfügen.
root.UNEXPECTED_TOKEN=Der Term entspricht nicht der im Info-Dialog spezifizierten Syntax! root.UNEXPECTED_TOKEN=Der Term entspricht nicht der im Info-Dialog spezifizierten Syntax!
root.UNEXPECTED_CHARACTER=Der Term enhält ein Zeichen, welches an dieser Stelle nicht erlaubt ist! root.UNEXPECTED_CHARACTER=Der Term enhält ein Zeichen, welches an dieser Stelle nicht erlaubt ist!
root.wrongCharacter=Falsches Zeichen: \u0020 root.wrongCharacter=Falsches Zeichen: \u0020

4
src/main/resources/language/translation_en.properties
View File

@ -106,9 +106,9 @@ root.absLetLatex=\
\\end{prooftree} \\end{prooftree}
root.infinite_type = The entered term cannot be typed: \ root.infinite_type = The entered term cannot be typed: \
The highlighted Constraint would cause an infinite type! The highlighted constraint would cause an infinite type!
root.different_types = The entered term cannot be typed: \ root.different_types = The entered term cannot be typed: \
The highlighted Constraint contains two incompatible types! The highlighted constraint contains two incompatible types!
share.heading=Share share.heading=Share
share.url.label=URL share.url.label=URL