From 43d350665ba84e0fa94b2316c8edd92840841390 Mon Sep 17 00:00:00 2001 From: Moritz Dieing <63721811+moritzdieing@users.noreply.github.com> Date: Tue, 31 Aug 2021 21:16:36 +0200 Subject: [PATCH] Entries in HelpDialog for new functionality --- .../java/edu/kit/typicalc/view/main/HelpDialog.java | 2 ++ src/main/resources/language/translation_de.properties | 9 +++++++++ src/main/resources/language/translation_en.properties | 11 ++++++++++- 3 files changed, 21 insertions(+), 1 deletion(-) 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 6d65594..cfbe079 100644 --- a/src/main/java/edu/kit/typicalc/view/main/HelpDialog.java +++ b/src/main/java/edu/kit/typicalc/view/main/HelpDialog.java @@ -68,7 +68,9 @@ public class HelpDialog extends Dialog implements LocaleChangeObserver { acc.add(new HelpContentField("root.typeAssumptions", "root.helpTypeAssumptions")); acc.add(new HelpContentField("root.inferenceViewFeatures", "root.helpInferenceViewFeatures")); acc.add(new HelpContentField("root.shortcuts", "root.helpShortcuts")); + acc.add(new HelpContentField("root.hoverEffects", "root.helpHoverEffects")); acc.add(new HelpContentField("root.drawer", "root.helpDrawer")); + acc.add(new HelpContentField("root.explanationTextsButton", "root.helpExplanationTexts")); acc.add(new HelpContentField("", exampleButton, "root.helpExample")); acc.add(new HelpContentField("root.firstStepButton", new Button(new Icon(VaadinIcon.ANGLE_DOUBLE_LEFT)), "root.helpFirstStepButton")); diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties index 968c7df..08c0344 100644 --- a/src/main/resources/language/translation_de.properties +++ b/src/main/resources/language/translation_de.properties @@ -33,7 +33,9 @@ root.type=Typ root.title404=404 - Seite nicht gefunden root.message404=Versuche /infer/ oder gib deinen Lieblingsterm in das Eingabefeld ein. root.drawer=Ableitungsregeln-Knopf +root.explanationTextsButton=Erläuterungen-Knopf root.shortcuts=Tastaturbefehle +root.hoverEffects=Hover-Effekte root.inputField=Eingabefeld root.typeInferButton=Typisieren-Knopf root.firstStepButton=Erster-Schritt-Knopf @@ -46,6 +48,9 @@ root.helpDrawer=Durch Benutzen des Ableitungsregeln-Knopfs öffnet sich eine \ eine Auflistung aller Typinferenzregeln. \ Mit Hilfe des Kopieren-Knopfs kann der Latex-Code der jeweiligen Regel in die Zwischenablage kopiert werden. \ Durch Betätigen des Ableitungsregeln-Knopfs wird das Fenster wieder geschlossen. +root.helpExplanationTexts=Durch Benutzen des Erläuterungen-Knopfs können Erklärtexte zu jedem einzelnen Schritt \ +im Algorithmus ein- und ausgeklappt werden. Durch Anklicken eines spezifischen Erklärtexts springt der Typherleitungsbaum \ +und die Unifikation in den dazugehörigen Schritt des Algorithmus. root.helpExample=Durch Benutzen des Knopfs öffnet sich der Beispiel-Dialog. \ Nach Anklicken eines Beispielterms wird eine Reihe von Typannahmen angezeigt. \ Mit dem Auswählen einer Menge von Typannahmen werden der Beispielterm und die Typannahmen in ihr jewiliges \ @@ -67,6 +72,10 @@ root.helpShortcuts=Strg + \u2190 = Erster Schritt
\ \u2192 = Nächster Schritt
\ Strg + \u2192 = Letzter Schritt
\ / = Fokus auf Eingabefeld +root.helpHoverEffects=Durch das Hovern über den Typherleitungsbaum und die Unifikation können zusätzliche Informationen \ +angezeigt werden. Das Hovern über eine beliebige Variable im Typherleitungsbaum oder der Unifikation führt dazu, dass \ +alle Vorkommen dieser Variable farblich hervorgehoben werden. Beim Hovern über die Schrift einer beliebigen Regel im \ +Typherleitungsbaum wird die Regel allgemein und die Instanziierung aller vorkommenden Variablen angezeigt. 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 \ diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties index ff29525..ad65b15 100644 --- a/src/main/resources/language/translation_en.properties +++ b/src/main/resources/language/translation_en.properties @@ -33,7 +33,9 @@ root.type=Type root.title404=404 - Not Found root.message404=Try /infer/ or type your favourite term into the input field. root.drawer=Type Inference Rules Button +root.explanationTextsButton=Algorithm-Steps Button root.shortcuts=Shortcuts +root.hoverEffects=Hover Effects root.inputField=Input Field root.typeInferButton=Type Button root.firstStepButton=First-Step Button @@ -42,9 +44,12 @@ root.nextStepButton=Next-Step Button root.lastStepButton=Last-Step Button root.shareButton=Share Button root.inferenceViewFeatures=Inference Tree And Unification -root.helpDrawer=Clicking on type inference rules button opens up a collection of all type inference \ +root.helpDrawer=Clicking on the type inference rules button opens up a collection of all type inference \ rules. By clicking on the copy button the LaTeX code of the corresponding rule is copied to the clipboard. \ The window can be closed by pressing the type inference rules button again. +root.helpExplanationTexts=Clicking on the algorithm steps button shows or hides explanatory texts for every step \ +of the algorithm. By clicking on a specific text the unification and the tree jump to the corresponding \ +step in the algorithm. root.helpExample=Clicking on the button opens up the example dialog. After clicking on an example term a number of \ type assumptions show up. Selecting a set of type assumptions will insert the term and the type assumptions into their \ respective input fields and automatically start the type inference algorithm. @@ -64,6 +69,10 @@ root.helpShortcuts=Ctrl + \u2190 = First step
\ \u2192 = Next step
\ Ctrl + \u2192 = Last step
\ / = Focus input bar +root.helpHoverEffects=Additional information can be displayed by hovering over the inference tree and the unification. \ +Hovering over an arbitrary variable in the tree or the unification highlights all occurences of this variable. Hovering \ +over the label of an inference rule in the tree displays the general scheme of the rule as well as the instantiation of \ +all occuring variables. 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 \