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

fix that link changes when entering empty term

Browse Source
This commit is contained in:
ucrhh 2021-03-05 12:48:29 +01:00
parent d4a6acbc07
commit 5285aa067e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/java/edu/kit/typicalc/view/main/MainViewImpl.java
View File

@ -95,7 +95,7 @@ public class MainViewImpl extends AppLayout
private void setTermInURL(Pair<String, Map<String, String>> lambdaTermAndAssumptions) {
String lambdaTerm = lambdaTermAndAssumptions.getLeft();
if ("".equals(lambdaTerm)) {
UI.getCurrent().getPage().getHistory().pushState(null, new Location(""));
UI.getCurrent().getPage().getHistory().pushState(null, "./");
setContent(new StartPageView());
return;
}