Use the real infinity sign
Bug #1945643 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Undecided
|
Kristian Morsing Pedersen |
Bug Description
At the moment the dialogs and the GUI drawing uses "inf" to represent the infinity symbol
$\infty$ in latex. Try to replace it with the real infinity symbol.
Related branches
lp:~tapaal-contributor/tapaal/fixInfSymbol-1945643
- Jiri Srba: Approve
-
Diff: 99 lines (+15/-9)6 files modifiedsrc/pipe/gui/GuiFrame.java (+1/-1)
src/pipe/gui/GuiFrameController.java (+1/-1)
src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java (+5/-0)
src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java (+5/-4)
src/pipe/gui/widgets/GuardDialogue.java (+2/-2)
src/pipe/gui/widgets/PlaceEditorPanel.java (+1/-1)
Changed in tapaal: | |
assignee: | nobody → Kristian Morsing Pedersen (krismp99) |
Changed in tapaal: | |
status: | New → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.