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

make shortcut look in help dialog consistent

Browse Source
This commit is contained in:
ucrhh 2021-03-10 23:29:40 +01:00
parent 9ee9025d92
commit d6a99cc869
4 changed files with 11 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/main/java/edu/kit/typicalc/view/main/HelpContentField.java
View File

@ -1,6 +1,5 @@
package edu.kit.typicalc.view.main; package edu.kit.typicalc.view.main;
import com.vaadin.flow.component.Component;
import com.vaadin.flow.component.accordion.AccordionPanel; import com.vaadin.flow.component.accordion.AccordionPanel;
import com.vaadin.flow.component.button.Button; import com.vaadin.flow.component.button.Button;
import com.vaadin.flow.component.details.DetailsVariant; import com.vaadin.flow.component.details.DetailsVariant;
@ -53,18 +52,12 @@ public class HelpContentField extends AccordionPanel implements LocaleChangeObse
this(summaryKey, contentKey); this(summaryKey, contentKey);
summary.removeAll(); summary.removeAll();
summary.add(button, summaryText); summary.add(button, summaryText);
setContent(content);
}
protected HelpContentField(String summaryKey, Component contentComponent) {
this(summaryKey, "");
setContent(contentComponent);
} }
@Override @Override
public void localeChange(LocaleChangeEvent event) { public void localeChange(LocaleChangeEvent event) {
summaryText.setText(getTranslation(summaryKey)); summaryText.setText(getTranslation(summaryKey));
content.setText(getTranslation(contentKey)); content.getElement().setProperty("innerHTML", getTranslation(contentKey));
} }
} }

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

@ -38,7 +38,6 @@ public class HelpDialog extends Dialog implements LocaleChangeObserver {
private final H3 heading; private final H3 heading;
private final Select<Locale> languageSelect; private final Select<Locale> languageSelect;
private final ItemLabelGenerator<Locale> renderer; private final ItemLabelGenerator<Locale> renderer;
private final Paragraph shortcuts;
private final Paragraph typicalcInfo; private final Paragraph typicalcInfo;
/** /**
@ -48,7 +47,6 @@ public class HelpDialog extends Dialog implements LocaleChangeObserver {
HorizontalLayout headingLayout = new HorizontalLayout(); HorizontalLayout headingLayout = new HorizontalLayout();
renderer = item -> getTranslation("root." + item.getDisplayLanguage(Locale.ENGLISH).toLowerCase()); renderer = item -> getTranslation("root." + item.getDisplayLanguage(Locale.ENGLISH).toLowerCase());
heading = new H3(); heading = new H3();
shortcuts = new Paragraph();
headingLayout.setId(HEADING_LAYOUT_ID); headingLayout.setId(HEADING_LAYOUT_ID);
languageSelect = new Select<>(Locale.GERMAN, Locale.ENGLISH); languageSelect = new Select<>(Locale.GERMAN, Locale.ENGLISH);
@ -82,7 +80,7 @@ public class HelpDialog extends Dialog implements LocaleChangeObserver {
acc.add(new HelpContentField("root.inputField", "root.helpInputField")); acc.add(new HelpContentField("root.inputField", "root.helpInputField"));
acc.add(new HelpContentField("root.typeAssumptions", "root.helpTypeAssumptions")); acc.add(new HelpContentField("root.typeAssumptions", "root.helpTypeAssumptions"));
acc.add(new HelpContentField("root.inferenceViewFeatures", "root.helpInferenceViewFeatures")); acc.add(new HelpContentField("root.inferenceViewFeatures", "root.helpInferenceViewFeatures"));
acc.add(new HelpContentField("root.shortcuts", shortcuts)); acc.add(new HelpContentField("root.shortcuts", "root.helpShortcuts"));
acc.add(new HelpContentField("root.drawer", acc.add(new HelpContentField("root.drawer",
new Button(new Icon(VaadinIcon.MENU)), "root.helpDrawer")); new Button(new Icon(VaadinIcon.MENU)), "root.helpDrawer"));
acc.add(new HelpContentField("root.example", acc.add(new HelpContentField("root.example",
@ -103,7 +101,6 @@ public class HelpDialog extends Dialog implements LocaleChangeObserver {
@Override @Override
public void localeChange(LocaleChangeEvent event) { public void localeChange(LocaleChangeEvent event) {
heading.setText(getTranslation("root.operatingHelp")); heading.setText(getTranslation("root.operatingHelp"));
shortcuts.getElement().setProperty("innerHTML", getTranslation("root.helpShortcuts"));
languageSelect.setLabel(getTranslation("root.selectLanguage")); languageSelect.setLabel(getTranslation("root.selectLanguage"));
languageSelect.setTextRenderer(renderer); languageSelect.setTextRenderer(renderer);
typicalcInfo.getElement().setProperty("innerHTML", getTranslation("help.typicalcInfo")); typicalcInfo.getElement().setProperty("innerHTML", getTranslation("help.typicalcInfo"));

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

@ -61,17 +61,17 @@ root.helpShortcuts=<kbd>Strg</kbd> + <kbd>\u2190</kbd> = Erster Schritt<br>\
root.helpFirstStepButton=Je nach Stand der Algorithmusausführung ändert sich die Funktion des Knopfs. \ 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 \ 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 \ Typherleitungsbaums. Wenn bereits die Unifikation durchgeführt wird, springt die Anzeige nach Benutzen des Knopfs \
in den letzten Schritt des Baums. Der Knopf lässt sich außerdem durch die Tastenkombination "STRG + Linke Pfeiltaste" \ in den letzten Schritt des Baums. Der Knopf lässt sich außerdem durch die Tastenkombination <kbd>Strg</kbd> +\
ansprechen. <kbd>\u2190</kbd> ansprechen.
root.helpPreviousStepButton=Durch Benutzen des Vorheriger-Schritt-Knopfs wird der vorherige Schritt des Algorithmus \ root.helpPreviousStepButton=Durch Benutzen des Vorheriger-Schritt-Knopfs wird der vorherige Schritt des Algorithmus \
angezeigt. Der Knopf lässt sich außerdem auf der Tastatur durch die Taste "Linke Pfeiltaste" ansprechen. angezeigt. Der Knopf lässt sich außerdem auf der Tastatur durch die Taste <kbd>\u2190</kbd> ansprechen.
root.helpNextStepButton=Durch Benutzen des Nächster-Schritt-Knopfs wird der nächste Schritt des Algorithmus angezeigt. \ root.helpNextStepButton=Durch Benutzen des Nächster-Schritt-Knopfs wird der nächste Schritt des Algorithmus angezeigt. \
Der Knopf lässt sich außerdem durch auf der Tastatur durch die Taste "Rechte Pfeiltaste" ansprechen. Der Knopf lässt sich außerdem durch auf der Tastatur durch die Taste <kbd>\u2192</kbd> ansprechen.
root.helpLastStepButton=Je nach Stand der Algorithmusausführung ändert sich die Funktion des Knopfs. \ root.helpLastStepButton=Je nach Stand der Algorithmusausführung ändert sich die Funktion des Knopfs. \
Wenn aktuell der Baum aufgebaut wird, springt die Anzeige nach Klicken des Knopfs vor zum letzten Schritt des \ Wenn aktuell der Baum aufgebaut wird, springt die Anzeige nach Klicken des Knopfs vor zum letzten Schritt des \
Typherleitungsbaums. Wenn bereits die Unifikation durchgeführt wird, springt die Anzeige nach Klicken des Knopfs \ Typherleitungsbaums. Wenn bereits die Unifikation durchgeführt wird, springt die Anzeige nach Klicken des Knopfs \
vor zur Anzeige des finalen Typs. Der Knopf lässt sich außerdem durch die Tastenkombination \ vor zur Anzeige des finalen Typs. Der Knopf lässt sich außerdem durch die Tastenkombination \
"STRG + Rechte Pfeiltaste" ansprechen. <kbd>Strg</kbd> + <kbd>\u2192</kbd> ansprechen.
root.helpShareButton=Durch Benutzen des Teilen-Knopfs öffnet sich ein Dialog, in dem der LaTeX-Code des finalen \ root.helpShareButton=Durch Benutzen des Teilen-Knopfs öffnet sich ein Dialog, in dem der LaTeX-Code des finalen \
Typherleitungsbaums des eingegebenen Terms und die benötigen Pakete zum Einbinden des LaTeX-Codes angezeigt werden. \ Typherleitungsbaums des eingegebenen Terms und die benötigen Pakete zum Einbinden des LaTeX-Codes angezeigt werden. \
Zusätzlich dazu enthält der Dialog einen Permalink zur aktuellen Seite, der sowohl den Term als auch die Typannahmen \ Zusätzlich dazu enthält der Dialog einen Permalink zur aktuellen Seite, der sowohl den Term als auch die Typannahmen \

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

@ -59,15 +59,15 @@ root.helpShortcuts=<kbd>Ctrl</kbd> + <kbd>\u2190</kbd> = First step<br>\
root.helpFirstStepButton=The function of the button depends on the current state of the algorithm. \ 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 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 \ If the unification algorithm is already in progress, clicking on the button shows the last step of the inference \
tree. The key combination "CTRL + left arrow key" also executes a click on the button. tree. The key combination <kbd>Ctrl</kbd> + <kbd>\u2190</kbd> also executes a click on the button.
root.helpPreviousStepButton=By clicking the previous step button the previous step of the algorithm is shown. \ root.helpPreviousStepButton=By clicking the previous step button the previous step of the algorithm is shown. \
The key "left arrow key" also executes a click on the button. The key <kbd>\u2190</kbd> also executes a click on the button.
root.helpNextStepButton=By clicking the next-step button the next step of the algorithm is shown. \ root.helpNextStepButton=By clicking the next-step button the next step of the algorithm is shown. \
The key "right arrow key" also executes a click on the button. The key <kbd>\u2192</kbd> also executes a click on the button.
root.helpLastStepButton=The function of the button depends on the current state of the algorithm. \ root.helpLastStepButton=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 last step of the inference tree. \ If the tree is currently being built up, clicking on the button shows the last step of the inference tree. \
If the unification algorithm is already in progress, clicking on the button shows the final type of the \ If the unification algorithm is already in progress, clicking on the button shows the final type of the \
entered term. The key combination "CTRL + right arrow key" also executes a click on the button. entered term. The key combination <kbd>Ctrl</kbd> + <kbd>\u2192</kbd> also executes a click on the button.
root.helpShareButton=Clicking the share button opens up a dialog containing the LaTeX code of the final inference \ root.helpShareButton=Clicking the share button opens up a dialog containing the LaTeX code of the final inference \
tree and the packages needed to compile the LaTeX code. In addition a permalink to the current page is provided. \ tree and the packages needed to compile the LaTeX code. In addition a permalink to the current page is provided. \
This link encodes the current term as well as the current type assumptions. This link encodes the current term as well as the current type assumptions.