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

Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc

Browse Source
This commit is contained in:
ucrhh 2021-03-05 12:48:56 +01:00
commit b728ced2af
4 changed files with 21 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
frontend/styles/view/main/inference-rule-field.css
View File

@ -12,8 +12,9 @@
#headerField { #headerField {
border-bottom: 2px solid #e8e8e8; border-bottom: 2px solid #e8e8e8;
background-color: #f8f8f8; background-color: #f8f8f8;
display: grid;
grid-template-columns: 1fr repeat(1, auto) 1fr;
align-items: center; align-items: center;
justify-content: center;
width: 100%; width: 100%;
padding: 0.5em 0em; padding: 0.5em 0em;
border-radius: 5px 5px 0 0; border-radius: 5px 5px 0 0;
@ -23,6 +24,11 @@
margin: 1px; margin: 1px;
} }
#copyButton {
margin-left: auto;
margin-right: 10%;
}
#main { #main {
align-items: center; align-items: center;
justify-content: center; justify-content: center;

16
src/main/java/edu/kit/typicalc/view/main/InferenceRuleField.java
View File

@ -7,6 +7,8 @@ import com.vaadin.flow.component.dependency.JsModule;
import com.vaadin.flow.component.html.H4; import com.vaadin.flow.component.html.H4;
import com.vaadin.flow.component.icon.Icon; import com.vaadin.flow.component.icon.Icon;
import com.vaadin.flow.component.icon.VaadinIcon; import com.vaadin.flow.component.icon.VaadinIcon;
import com.vaadin.flow.component.notification.Notification;
import com.vaadin.flow.component.notification.NotificationVariant;
import com.vaadin.flow.component.orderedlayout.HorizontalLayout; import com.vaadin.flow.component.orderedlayout.HorizontalLayout;
import com.vaadin.flow.component.orderedlayout.VerticalLayout; import com.vaadin.flow.component.orderedlayout.VerticalLayout;
import com.vaadin.flow.i18n.LocaleChangeEvent; import com.vaadin.flow.i18n.LocaleChangeEvent;
@ -30,6 +32,7 @@ public class InferenceRuleField extends VerticalLayout implements LocaleChangeOb
private static final String HEADER_ID = "headerField"; private static final String HEADER_ID = "headerField";
private static final String MAIN_ID = "main"; private static final String MAIN_ID = "main";
private static final String RULE_NAME_ID = "ruleName"; private static final String RULE_NAME_ID = "ruleName";
private static final String COPY_BUTTON_ID = "copyButton";
private final String nameKey; private final String nameKey;
private final Button copyButton; private final Button copyButton;
@ -48,22 +51,25 @@ public class InferenceRuleField extends VerticalLayout implements LocaleChangeOb
HorizontalLayout header = new HorizontalLayout(); HorizontalLayout header = new HorizontalLayout();
header.setId(HEADER_ID); header.setId(HEADER_ID);
this.ruleName = new H4(getTranslation(nameKey)); this.ruleName = new H4(getTranslation(nameKey));
this.copyButton = new Button(new Icon(VaadinIcon.CLIPBOARD));
copyButton.addClickListener(event -> {
UI.getCurrent().getPage().executeJs("window.copyToClipboard($0)", latex);
Notification.show(getTranslation("root.copied")).addThemeVariants(NotificationVariant.LUMO_PRIMARY);
});
copyButton.setId(COPY_BUTTON_ID);
ruleName.setId(RULE_NAME_ID); ruleName.setId(RULE_NAME_ID);
header.add(ruleName); header.add(ruleName, copyButton);
VerticalLayout main = new VerticalLayout(); VerticalLayout main = new VerticalLayout();
main.setId(MAIN_ID); main.setId(MAIN_ID);
this.copyButton = new Button(getTranslation("root.copyLatex"), new Icon(VaadinIcon.CLIPBOARD));
MathjaxDisplay rule = new MathjaxDisplay(latex); MathjaxDisplay rule = new MathjaxDisplay(latex);
copyButton.addClickListener(event -> UI.getCurrent().getPage().executeJs("window.copyToClipboard($0)", latex)); main.add(rule);
main.add(rule, copyButton);
add(header, main); add(header, main);
setId(INFERENCE_RULE_FIELD_ID); setId(INFERENCE_RULE_FIELD_ID);
} }
@Override @Override
public void localeChange(LocaleChangeEvent event) { public void localeChange(LocaleChangeEvent event) {
copyButton.setText(getTranslation("root.copyLatex"));
ruleName.setText(getTranslation(nameKey)); ruleName.setText(getTranslation(nameKey));
} }

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

@ -1,6 +1,6 @@
root.close=Schließen root.close=Schließen
root.save=Speichern root.save=Speichern
root.copyLatex=Kopiere Latex-Code root.copied=LaTeX-Code in Zwischenablage kopiert.
root.selectExample=Beispiel auswählen: root.selectExample=Beispiel auswählen:
root.typeInfer=Typisieren root.typeInfer=Typisieren
root.operatingHelp=Hilfe root.operatingHelp=Hilfe

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

@ -1,6 +1,6 @@
root.close=Close root.close=Close
root.save=Save root.save=Save
root.copyLatex=Copy latex code root.copied=LaTeX code copied to clipboard.
root.selectExample=Select example: root.selectExample=Select example:
root.typeInfer=Type root.typeInfer=Type
root.operatingHelp=Help root.operatingHelp=Help