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

fix that examples are now visualized on click

Browse Source
This commit is contained in:
ucrhh 2021-03-05 20:42:26 +01:00
parent f1df0fee45
commit e658060fd1
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -108,10 +108,14 @@ public class InputBar extends HorizontalLayout implements LocaleChangeObserver {
typeAssumptionsArea = new TypeAssumptionsArea(typeAssumptions); typeAssumptionsArea = new TypeAssumptionsArea(typeAssumptions);
} }
protected void setTermAndClickTypeInfer(String term) {
setTerm(term);
onTypeInferButtonClick();
}
private void onTypeInferButtonClick() { private void onTypeInferButtonClick() {
String currentInput = inputField.getOptionalValue().orElse(StringUtils.EMPTY); String currentInput = inputField.getOptionalValue().orElse(StringUtils.EMPTY);
inputField.blur(); inputField.blur();
callback.accept(Pair.of(currentInput, typeAssumptionsArea.getTypeAssumptions())); callback.accept(Pair.of(currentInput, typeAssumptionsArea.getTypeAssumptions()));
} }
@ -120,7 +124,7 @@ public class InputBar extends HorizontalLayout implements LocaleChangeObserver {
} }
private void onExampleButtonClick() { private void onExampleButtonClick() {
Dialog exampleDialog = new ExampleDialog(this::setTerm); Dialog exampleDialog = new ExampleDialog(this::setTermAndClickTypeInfer);
exampleDialog.open(); exampleDialog.open();
} }