Entries in HelpDialog for new functionality

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"));

src/main/resources/language/translation_de.properties

@@ -33,7 +33,9 @@ root.type=Typ
 root.title404=404 - Seite nicht gefunden
 root.message404=Versuche /infer/<term> 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=<kbd>Strg</kbd> + <kbd>\u2190</kbd> = Erster Schritt<br>\
 <kbd>\u2192</kbd> = Nächster Schritt<br>\
 <kbd>Strg</kbd> + <kbd>\u2192</kbd> = Letzter Schritt<br>\
 <kbd>/</kbd> = 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 \

src/main/resources/language/translation_en.properties

@@ -33,7 +33,9 @@ root.type=Type
 root.title404=404 - Not Found
 root.message404=Try /infer/<term> 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=<kbd>Ctrl</kbd> + <kbd>\u2190</kbd> = First step<br>\
 <kbd>\u2192</kbd> = Next step<br>\
 <kbd>Ctrl</kbd> + <kbd>\u2192</kbd> = Last step<br>\
 <kbd>/</kbd> = 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 \