Add to about info about which Java is run
Bug #1890600 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Undecided
|
Lena Ernstsen | ||
Bug Description
and issue a warning if run with Java <11.
Related branches
lp:~tapaal-contributor/tapaal/add-java-info-1890600
- Jiri Srba: Approve
- Kenneth Yrke Jørgensen: Needs Fixing
-
Diff: 154 lines (+61/-3)2 files modifiedsrc/pipe/gui/GuiFrame.java (+13/-1)
src/pipe/gui/widgets/EngineDialogPanel.java (+48/-2)
| Changed in tapaal: | |
| assignee: | nobody → Lena Said (lsaid) |
| status: | New → In Progress |
| Changed in tapaal: | |
| status: | In Progress → Fix Committed |
| Changed in tapaal: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
