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

Save button for type assumptions

Browse Source
This commit is contained in:
Moritz Dieing 2021-02-17 17:29:04 +01:00
parent 13d935814d
commit 43af68812e
4 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
frontend/styles/view/main/type-assumptions-area.css
View File

@ -2,6 +2,7 @@
display: flex;
justify-content: center;
align-items: center;
padding: 0;
}
#assButtons {

8
src/main/java/edu/kit/typicalc/view/main/TypeAssumptionsArea.java
View File

@ -40,6 +40,7 @@ public class TypeAssumptionsArea extends Dialog implements LocaleChangeObserver
private final VerticalLayout assumptionContainer;
private final Button addAssumption;
private final Button deleteAll;
private final Button saveAssumptions;
private final List<TypeAssumptionField> fields = new ArrayList<>();
@ -62,7 +63,9 @@ public class TypeAssumptionsArea extends Dialog implements LocaleChangeObserver
deleteAll.addClickListener(event -> onDeleteAllClick());
deleteAll.setIconAfterText(true);
deleteAll.addThemeVariants(ButtonVariant.LUMO_ERROR);
buttons.add(addAssumption, deleteAll);
saveAssumptions = new Button(getTranslation("root.save"), event -> this.close());
saveAssumptions.addThemeVariants(ButtonVariant.LUMO_SUCCESS);
buttons.add(addAssumption, deleteAll, saveAssumptions);
assumptionContainer = new VerticalLayout();
assumptionContainer.setId(ASS_CONTAINER_ID);
@ -77,8 +80,8 @@ public class TypeAssumptionsArea extends Dialog implements LocaleChangeObserver
}
layout.add(heading, buttons, assumptionContainer);
layout.setPadding(false);
add(layout);
setCloseOnOutsideClick(false);
}
/**
@ -123,5 +126,6 @@ public class TypeAssumptionsArea extends Dialog implements LocaleChangeObserver
heading.setText(getTranslation("root.typeAssumptions"));
addAssumption.setText(getTranslation("root.addAssumption"));
deleteAll.setText(getTranslation("root.deleteAll"));
saveAssumptions.setText(getTranslation("root.save"));
}
}

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

@ -1,4 +1,5 @@
root.close=Schließen
root.save=Speichern
root.copyLatex=Kopiere Latex-Code
root.selectExample=Beispiel auswählen:
root.typeInfer=Typisieren

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

@ -1,4 +1,5 @@
root.close=Close
root.save=Save
root.copyLatex=Copy latex code
root.selectExample=Select example:
root.typeInfer=Type