diff --git a/src/main/java/edu/kit/typicalc/view/main/InputBar.java b/src/main/java/edu/kit/typicalc/view/main/InputBar.java index 014bcff..8502d0c 100644 --- a/src/main/java/edu/kit/typicalc/view/main/InputBar.java +++ b/src/main/java/edu/kit/typicalc/view/main/InputBar.java @@ -155,6 +155,7 @@ public class InputBar extends HorizontalLayout implements LocaleChangeObserver { termInputField.setLabel(getTranslation("root.termLabel")); exampleButton.setText(getTranslation("root.exampleButton")); inferTypeButton.setText(getTranslation("root.typeInfer")); + infoIcon.setText(getTranslation("root.inputSyntaxShort")); infoIcon.getElement().setAttribute("title", getTranslation("root.inputSyntax")); exampleButton.getElement().setAttribute("title", getTranslation("root.exampleTooltip")); assumptionInputField.setPlaceholder(getTranslation("root.typeInputFieldPlaceholder")); diff --git a/src/main/java/edu/kit/typicalc/view/main/UpperBar.java b/src/main/java/edu/kit/typicalc/view/main/UpperBar.java index 299a18c..81e369e 100644 --- a/src/main/java/edu/kit/typicalc/view/main/UpperBar.java +++ b/src/main/java/edu/kit/typicalc/view/main/UpperBar.java @@ -111,7 +111,7 @@ public class UpperBar extends VerticalLayout implements LocaleChangeObserver { @Override public void localeChange(LocaleChangeEvent event) { - helpButton.getElement().setAttribute("title", getTranslation("root.helpIconTooltip")); + helpButton.setText(getTranslation("root.helpIcon")); languageSelect.setTextRenderer(renderer); } } diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties index 09dfa1b..fabaf13 100644 --- a/src/main/resources/language/translation_de.properties +++ b/src/main/resources/language/translation_de.properties @@ -8,6 +8,7 @@ root.termLabel=Term root.typeInfer=Typisieren root.operatingHelp=Hilfe root.inputSyntax=Eingabe-Syntax +root.inputSyntaxShort=Syntax root.inferenceRules=Ableitungsregeln root.absRule=Abs-Regel root.appRule=App-Regel @@ -161,7 +162,7 @@ verwendeten Pakete aufgelistet. root.correctAssumptions=Korrigiere oder lösche die ungültigen Typannahmen (rot hinterlegt) \ vor dem Schließen des Dialogs. root.copyLatexTooltip=Kopiere LaTeX-code -root.helpIconTooltip=Hilfe und Sprachwechsel +root.helpIcon=Hilfe root.exampleTooltip=Beispielterme root.shareButtonTooltip=LaTeX-Code und Permalink root.lastStepTooltip=Letzter Schritt diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties index 97d570f..5413aa2 100644 --- a/src/main/resources/language/translation_en.properties +++ b/src/main/resources/language/translation_en.properties @@ -8,6 +8,7 @@ root.termLabel=Term root.typeInfer=Type root.operatingHelp=Help root.inputSyntax=Input Syntax +root.inputSyntaxShort=Syntax root.inferenceRules=Inference Rules root.absRule=Abs rule root.appRule=App rule @@ -150,7 +151,7 @@ root.text8=The dialog contains a permalink to the current page, the LaTeX-code o to compile the code. root.correctAssumptions=Correct or delete the invalid type assumptions (red background) before closing the dialog. root.copyLatexTooltip=Copy LaTeX code -root.helpIconTooltip=Help and language switch +root.helpIcon=Help root.exampleTooltip=Example terms root.shareButtonTooltip=LaTeX code and permalink root.lastStepTooltip=Last step