From 4e56c6983349eb6adca5157bba8efee826669ad7 Mon Sep 17 00:00:00 2001
From: Moritz Dieing <63721811+moritzdieing@users.noreply.github.com>
Date: Thu, 11 Mar 2021 10:36:00 +0100
Subject: [PATCH] Update Drawer in HelpDialog

---
 src/main/java/edu/kit/typicalc/view/main/HelpDialog.java | 3 +--
 src/main/resources/language/translation_de.properties    | 9 +++++----
 src/main/resources/language/translation_en.properties    | 7 ++++---
 3 files changed, 10 insertions(+), 9 deletions(-)

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 3aff39f..1430f17 100644
--- a/src/main/java/edu/kit/typicalc/view/main/HelpDialog.java
+++ b/src/main/java/edu/kit/typicalc/view/main/HelpDialog.java
@@ -81,8 +81,7 @@ 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.drawer",
-                new Button(new Icon(VaadinIcon.MENU)), "root.helpDrawer"));
+        acc.add(new HelpContentField("root.drawer", "root.helpDrawer"));
         acc.add(new HelpContentField("root.example",
                 new Button(new Icon(VaadinIcon.PAPERCLIP)), "root.helpExample"));
         acc.add(new HelpContentField("root.firstStepButton",
diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties
index 5389e10..4daf257 100644
--- a/src/main/resources/language/translation_de.properties
+++ b/src/main/resources/language/translation_de.properties
@@ -24,7 +24,7 @@ root.variable=Variable
 root.type=Typ
 root.title404=404 - Seite nicht gefunden
 root.message404=Versuche /infer/<term> oder gib deinen Lieblingsterm in das Eingabefeld ein.
-root.drawer=Drawer (Ableitungsregeln)
+root.drawer=Ableitungsregeln-Knopf
 root.example=Beispiele
 root.shortcuts=Tastaturbefehle
 root.inputField=Eingabefeld
@@ -35,9 +35,10 @@ root.nextStepButton=Nächster-Schritt-Knopf
 root.lastStepButton=Letzter-Schritt-Knopf
 root.shareButton=Teilen-Knopf
 root.inferenceViewFeatures=Typherleitungsbaum und Unifikation
-root.helpDrawer=Durch Benutzen des Knopfs öffnet sich der Drawer. \
-Im Drawer ist eine Auflistung aller Typinferenzregeln zu finden. \
-Außerdem kann mit dem Kopieren-Knopf der Latex-Code der Regel in die Zwischenablage kopiert werden.
+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.helpExample=Durch Benutzen des Knopfs öffnet sich der Beispiel-Dialog. \
 Nach Anklicken wird der jeweilige Beispielterm in das Eingabefeld eingefügt. \
 Der Term kann nun nach Belieben angepasst oder direkt typisiert werden.
diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties
index 808ece2..6d72c5c 100644
--- a/src/main/resources/language/translation_en.properties
+++ b/src/main/resources/language/translation_en.properties
@@ -24,7 +24,7 @@ root.variable=Variable
 root.type=Type
 root.title404=404 - Not Found
 root.message404=Try /infer/<term> or type your favourite term into the input field.
-root.drawer=Drawer (type inference rules)
+root.drawer=Type Inference Rules Button
 root.example=Examples
 root.shortcuts=Shortcuts
 root.inputField=Input Field
@@ -35,8 +35,9 @@ root.nextStepButton=Next-Step Button
 root.lastStepButton=Last-Step Button
 root.shareButton=Share Button
 root.inferenceViewFeatures=Inference Tree And Unification
-root.helpDrawer=Clicking on the button opens up the drawer. The drawer contains 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.
+root.helpDrawer=Clicking on 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.helpExample=Clicking on the button opens up the example dialog. After clicking on an example the corresponding \
 term is inserted into the input field. Now either the type inference algorithm can be started or the term can be \
 modified.