GUI freezes when parsing a file
Bug #1896457 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Undecided
|
Peter Haahr Taankvist | ||
Bug Description
Open the attached file - the GUI will freeze, not a good behaviour.
Related branches
lp:~tapaal-contributor/tapaal/Gui-freeze-1896457
- Jiri Srba: Approve
- Peter Haahr Taankvist (community): Needs Resubmitting
- Kenneth Yrke Jørgensen: Needs Fixing
-
Diff: 218 lines (+53/-18)6 files modifiedsrc/dk/aau/cs/io/LoadedQueries.java (+18/-0)
src/dk/aau/cs/io/TapnXmlLoader.java (+6/-3)
src/dk/aau/cs/io/queries/QueryLoader.java (+7/-5)
src/dk/aau/cs/io/queries/SUMOQueryLoader.java (+14/-3)
src/dk/aau/cs/io/queries/TAPNQueryLoader.java (+5/-5)
src/dk/aau/cs/io/queries/XMLQueryLoader.java (+3/-2)
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| Changed in tapaal: | |
| assignee: | nobody → Peter Haahr Taankvist (ptaank) |
| Changed in tapaal: | |
| status: | New → Fix Committed |
| Changed in tapaal: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
