arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 10:20:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update Drawer in HelpDialog

Browse Source
This commit is contained in:
Moritz Dieing 2021-03-11 10:36:00 +01:00
parent 3c0347492a
commit 4e56c69833
3 changed files with 10 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/main/java/edu/kit/typicalc/view/main/HelpDialog.java
View File

@ -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",

9
src/main/resources/language/translation_de.properties
View File

@ -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.

7
src/main/resources/language/translation_en.properties
View File

@ -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.