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

add heading to share dialog

Browse Source
This commit is contained in:
ucrhh 2021-02-20 15:34:32 +01:00
parent 27aff112bb
commit 44ad536446
3 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/ShareDialog.java
View File

@ -2,6 +2,7 @@ package edu.kit.typicalc.view.content.typeinferencecontent;
import com.vaadin.flow.component.dependency.CssImport;
import com.vaadin.flow.component.dialog.Dialog;
import com.vaadin.flow.component.html.H3;
import com.vaadin.flow.component.orderedlayout.VerticalLayout;
import com.vaadin.flow.component.textfield.TextArea;
import com.vaadin.flow.component.textfield.TextField;
@ -20,6 +21,7 @@ public class ShareDialog extends Dialog implements LocaleChangeObserver {
private final TextField urlField;
private final TextField packageField;
private final TextArea latexArea;
private final H3 heading;
/**
* Sets up three GUI elements, one for each parameter. The content of each element is equal
@ -35,9 +37,10 @@ public class ShareDialog extends Dialog implements LocaleChangeObserver {
layout.setId(LAYOUT_ID);
add(layout);
urlField = new TextField(getTranslation("share.url.label"));
packageField = new TextField(getTranslation("share.packages.label"));
latexArea = new TextArea(getTranslation("share.latex.label"));
heading = new H3();
urlField = new TextField();
packageField = new TextField();
latexArea = new TextArea();
urlField.setValue(url);
urlField.setClassName(FIELD_CLASS);
@ -46,12 +49,13 @@ public class ShareDialog extends Dialog implements LocaleChangeObserver {
latexArea.setValue(latexCode);
latexArea.setClassName(FIELD_CLASS);
layout.add(urlField, packageField, latexArea);
layout.add(heading, urlField, packageField, latexArea);
}
@Override
public void localeChange(LocaleChangeEvent localeChangeEvent) {
heading.setText(getTranslation("share.heading"));
urlField.setLabel(getTranslation("share.url.label"));
packageField.setLabel(getTranslation("share.packages.label"));
latexArea.setLabel(getTranslation("share.latex.label"));

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

@ -112,6 +112,7 @@ root.absLetLatex=\
\\BinaryInfC{$\\Gamma \\vdash \\lambda \\texttt{x}.t : \\tau_1 \\rightarrow \\tau_2$}\
\\end{prooftree}
share.heading=Teilen
share.url.label=URL
share.packages.label=Pakete
share.latex.label=LaTeX-Code

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

@ -105,6 +105,7 @@ root.absLetLatex=\
\\BinaryInfC{$\\Gamma \\vdash \\lambda \\texttt{x}.t : \\tau_1 \\rightarrow \\tau_2$}\
\\end{prooftree}
share.heading=Share
share.url.label=URL
share.packages.label=Packages
share.latex.label=LaTeX code