diff --git a/src/main/java/edu/kit/typicalc/view/main/HelpContentField.java b/src/main/java/edu/kit/typicalc/view/main/HelpContentField.java index 136eb5c..a8d7b77 100644 --- a/src/main/java/edu/kit/typicalc/view/main/HelpContentField.java +++ b/src/main/java/edu/kit/typicalc/view/main/HelpContentField.java @@ -1,6 +1,5 @@ package edu.kit.typicalc.view.main; -import com.vaadin.flow.component.Component; import com.vaadin.flow.component.accordion.AccordionPanel; import com.vaadin.flow.component.button.Button; import com.vaadin.flow.component.details.DetailsVariant; @@ -53,18 +52,12 @@ public class HelpContentField extends AccordionPanel implements LocaleChangeObse this(summaryKey, contentKey); summary.removeAll(); summary.add(button, summaryText); - setContent(content); - } - - protected HelpContentField(String summaryKey, Component contentComponent) { - this(summaryKey, ""); - setContent(contentComponent); } @Override public void localeChange(LocaleChangeEvent event) { summaryText.setText(getTranslation(summaryKey)); - content.setText(getTranslation(contentKey)); + content.getElement().setProperty("innerHTML", getTranslation(contentKey)); } } diff --git a/src/main/java/edu/kit/typicalc/view/main/HelpDialog.java b/src/main/java/edu/kit/typicalc/view/main/HelpDialog.java index 973418c..3aff39f 100644 --- a/src/main/java/edu/kit/typicalc/view/main/HelpDialog.java +++ b/src/main/java/edu/kit/typicalc/view/main/HelpDialog.java @@ -38,7 +38,6 @@ public class HelpDialog extends Dialog implements LocaleChangeObserver { private final H3 heading; private final Select languageSelect; private final ItemLabelGenerator renderer; - private final Paragraph shortcuts; private final Paragraph typicalcInfo; /** @@ -48,7 +47,6 @@ public class HelpDialog extends Dialog implements LocaleChangeObserver { HorizontalLayout headingLayout = new HorizontalLayout(); renderer = item -> getTranslation("root." + item.getDisplayLanguage(Locale.ENGLISH).toLowerCase()); heading = new H3(); - shortcuts = new Paragraph(); headingLayout.setId(HEADING_LAYOUT_ID); languageSelect = new Select<>(Locale.GERMAN, Locale.ENGLISH); @@ -82,7 +80,7 @@ public class HelpDialog extends Dialog implements LocaleChangeObserver { acc.add(new HelpContentField("root.inputField", "root.helpInputField")); acc.add(new HelpContentField("root.typeAssumptions", "root.helpTypeAssumptions")); acc.add(new HelpContentField("root.inferenceViewFeatures", "root.helpInferenceViewFeatures")); - acc.add(new HelpContentField("root.shortcuts", shortcuts)); + acc.add(new HelpContentField("root.shortcuts", "root.helpShortcuts")); acc.add(new HelpContentField("root.drawer", new Button(new Icon(VaadinIcon.MENU)), "root.helpDrawer")); acc.add(new HelpContentField("root.example", @@ -103,7 +101,6 @@ public class HelpDialog extends Dialog implements LocaleChangeObserver { @Override public void localeChange(LocaleChangeEvent event) { heading.setText(getTranslation("root.operatingHelp")); - shortcuts.getElement().setProperty("innerHTML", getTranslation("root.helpShortcuts")); languageSelect.setLabel(getTranslation("root.selectLanguage")); languageSelect.setTextRenderer(renderer); typicalcInfo.getElement().setProperty("innerHTML", getTranslation("help.typicalcInfo")); diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties index 44f23af..e2bc22c 100644 --- a/src/main/resources/language/translation_de.properties +++ b/src/main/resources/language/translation_de.properties @@ -61,17 +61,17 @@ root.helpShortcuts=Strg + \u2190 = Erster Schritt
\ root.helpFirstStepButton=Je nach Stand der Algorithmusausführung ändert sich die Funktion des Knopfs. \ Wenn aktuell der Baum aufgebaut wird, springt die Anzeige nach Benutzen des Knopfs zurück zum ersten Schritt des \ Typherleitungsbaums. Wenn bereits die Unifikation durchgeführt wird, springt die Anzeige nach Benutzen des Knopfs \ -in den letzten Schritt des Baums. Der Knopf lässt sich außerdem durch die Tastenkombination "STRG + Linke Pfeiltaste" \ -ansprechen. +in den letzten Schritt des Baums. Der Knopf lässt sich außerdem durch die Tastenkombination Strg +\ +\u2190 ansprechen. root.helpPreviousStepButton=Durch Benutzen des Vorheriger-Schritt-Knopfs wird der vorherige Schritt des Algorithmus \ -angezeigt. Der Knopf lässt sich außerdem auf der Tastatur durch die Taste "Linke Pfeiltaste" ansprechen. +angezeigt. Der Knopf lässt sich außerdem auf der Tastatur durch die Taste \u2190 ansprechen. root.helpNextStepButton=Durch Benutzen des Nächster-Schritt-Knopfs wird der nächste Schritt des Algorithmus angezeigt. \ -Der Knopf lässt sich außerdem durch auf der Tastatur durch die Taste "Rechte Pfeiltaste" ansprechen. +Der Knopf lässt sich außerdem durch auf der Tastatur durch die Taste \u2192 ansprechen. root.helpLastStepButton=Je nach Stand der Algorithmusausführung ändert sich die Funktion des Knopfs. \ Wenn aktuell der Baum aufgebaut wird, springt die Anzeige nach Klicken des Knopfs vor zum letzten Schritt des \ Typherleitungsbaums. Wenn bereits die Unifikation durchgeführt wird, springt die Anzeige nach Klicken des Knopfs \ vor zur Anzeige des finalen Typs. Der Knopf lässt sich außerdem durch die Tastenkombination \ -"STRG + Rechte Pfeiltaste" ansprechen. +Strg + \u2192 ansprechen. root.helpShareButton=Durch Benutzen des Teilen-Knopfs öffnet sich ein Dialog, in dem der LaTeX-Code des finalen \ Typherleitungsbaums des eingegebenen Terms und die benötigen Pakete zum Einbinden des LaTeX-Codes angezeigt werden. \ Zusätzlich dazu enthält der Dialog einen Permalink zur aktuellen Seite, der sowohl den Term als auch die Typannahmen \ diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties index 93c9b36..a90cef6 100644 --- a/src/main/resources/language/translation_en.properties +++ b/src/main/resources/language/translation_en.properties @@ -59,15 +59,15 @@ root.helpShortcuts=Ctrl + \u2190 = First step
\ root.helpFirstStepButton=The function of the button depends on the current state of the algorithm. \ If the tree is currently being built up, clicking on the button shows the first step of the inference tree. \ If the unification algorithm is already in progress, clicking on the button shows the last step of the inference \ -tree. The key combination "CTRL + left arrow key" also executes a click on the button. +tree. The key combination Ctrl + \u2190 also executes a click on the button. root.helpPreviousStepButton=By clicking the previous step button the previous step of the algorithm is shown. \ -The key "left arrow key" also executes a click on the button. +The key \u2190 also executes a click on the button. root.helpNextStepButton=By clicking the next-step button the next step of the algorithm is shown. \ -The key "right arrow key" also executes a click on the button. +The key \u2192 also executes a click on the button. root.helpLastStepButton=The function of the button depends on the current state of the algorithm. \ If the tree is currently being built up, clicking on the button shows the last step of the inference tree. \ If the unification algorithm is already in progress, clicking on the button shows the final type of the \ -entered term. The key combination "CTRL + right arrow key" also executes a click on the button. +entered term. The key combination Ctrl + \u2192 also executes a click on the button. root.helpShareButton=Clicking the share button opens up a dialog containing the LaTeX code of the final inference \ tree and the packages needed to compile the LaTeX code. In addition a permalink to the current page is provided. \ This link encodes the current term as well as the current type assumptions.