lp:~yrke/tapaal/evenMore-gui-cleanup
Created by
Kenneth Yrke Jørgensen
on
2020-07-14
and last modified on
2020-08-10
- Get this branch:
- bzr branch lp:~yrke/tapaal/evenMore-gui-cleanup
Only
Kenneth Yrke Jørgensen
can upload to this branch. If you are
Kenneth Yrke Jørgensen
please log in for upload directions.
Branch merges
Propose for merging
- Jiri Srba: Approve on 2020-08-10
-
Diff: 5542 lines (+1201/-1407)106 files modifiedbuild.gradle (+1/-0)
src/dk/aau/cs/approximation/OverApproximation.java (+2/-2)
src/dk/aau/cs/approximation/UnderApproximation.java (+3/-3)
src/dk/aau/cs/debug/Logger.java (+6/-2)
src/dk/aau/cs/gui/BatchProcessingDialog.java (+8/-8)
src/dk/aau/cs/gui/DeleteSharedPlaceOrTransition.java (+27/-19)
src/dk/aau/cs/gui/FileNameCellRenderer.java (+1/-1)
src/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java (+26/-23)
src/dk/aau/cs/gui/TabContent.java (+488/-438)
src/dk/aau/cs/gui/TabTransformer.java (+2/-2)
src/dk/aau/cs/gui/TemplateExplorer.java (+0/-1)
src/dk/aau/cs/gui/components/ConstantsListModel.java (+1/-1)
src/dk/aau/cs/gui/components/EnabledTransitionsList.java (+4/-11)
src/dk/aau/cs/gui/components/NonsearchableJComboBox.java (+1/-1)
src/dk/aau/cs/gui/components/StatisticsPanel.java (+0/-1)
src/dk/aau/cs/gui/undo/AddFileBatchProcessingCommand.java (+3/-4)
src/dk/aau/cs/gui/undo/MoveElementDownCommand.java (+4/-7)
src/dk/aau/cs/gui/undo/MoveElementUpCommand.java (+4/-7)
src/dk/aau/cs/gui/undo/MovePlaceTransitionObject.java (+9/-13)
src/dk/aau/cs/gui/undo/RemoveFileBatchProcessingCommand.java (+2/-4)
src/dk/aau/cs/gui/undo/SortConstantsCommand.java (+2/-2)
src/dk/aau/cs/gui/undo/SortQueriesCommand.java (+1/-1)
src/dk/aau/cs/gui/undo/SortSharedPlacesCommand.java (+1/-1)
src/dk/aau/cs/gui/undo/SortSharedTransitionsCommand.java (+1/-1)
src/dk/aau/cs/gui/undo/SortTemplatesCommand.java (+4/-4)
src/dk/aau/cs/gui/undo/UpdateNameLabelOffsetCommand.java (+5/-2)
src/dk/aau/cs/io/LoadedModel.java (+6/-6)
src/dk/aau/cs/io/PNMLoader.java (+3/-4)
src/dk/aau/cs/io/TapnLegacyXmlLoader.java (+59/-68)
src/dk/aau/cs/io/TapnXmlLoader.java (+2/-4)
src/dk/aau/cs/io/TraceImportExport.java (+0/-1)
src/dk/aau/cs/model/NTA/trace/UppaalTrace.java (+3/-1)
src/dk/aau/cs/model/tapn/ConstantStore.java (+2/-2)
src/dk/aau/cs/model/tapn/LocalTimedMarking.java (+0/-1)
src/dk/aau/cs/model/tapn/NetworkMarking.java (+0/-1)
src/dk/aau/cs/model/tapn/TimeInterval.java (+3/-4)
src/dk/aau/cs/model/tapn/TimedArcPetriNet.java (+4/-4)
src/dk/aau/cs/model/tapn/TimedInputArc.java (+3/-3)
src/dk/aau/cs/model/tapn/TransportArc.java (+3/-3)
src/dk/aau/cs/model/tapn/simulation/ManualDelayMode.java (+1/-1)
src/dk/aau/cs/model/tapn/simulation/RandomDelayMode.java (+2/-2)
src/dk/aau/cs/model/tapn/simulation/ShortestDelayMode.java (+1/-1)
src/dk/aau/cs/model/tapn/simulation/TimedArcPetriNetTrace.java (+2/-1)
src/dk/aau/cs/model/tapn/simulation/TimedTAPNNetworkTrace.java (+2/-1)
src/dk/aau/cs/model/tapn/simulation/UntimedTAPNNetworkTrace.java (+3/-1)
src/dk/aau/cs/translations/tapn/BroadcastTranslation.java (+3/-3)
src/dk/aau/cs/translations/tapn/CombiTranslation.java (+3/-3)
src/dk/aau/cs/translations/tapn/Degree2BroadcastTranslation.java (+3/-3)
src/dk/aau/cs/translations/tapn/OptimizedStandardTranslation.java (+3/-3)
src/dk/aau/cs/translations/tapn/StandardTranslation.java (+3/-3)
src/dk/aau/cs/util/IntervalOperations.java (+11/-11)
src/dk/aau/cs/util/MemoryMonitor.java (+12/-33)
src/dk/aau/cs/verification/TAPNComposer.java (+4/-4)
src/dk/aau/cs/verification/VerificationResult.java (+1/-1)
src/net/tapaal/gui/DrawingSurfaceManager/AbstractDrawingSurfaceManager.java (+8/-3)
src/net/tapaal/resourcemanager/ResourceManager.java (+0/-2)
src/net/tapaal/swinghelpers/ExtendedJTabbedPane.java (+6/-2)
src/net/tapaal/swinghelpers/GridBagHelper.java (+82/-0)
src/pipe/dataLayer/Template.java (+0/-1)
src/pipe/gui/AnimationControlSidePanel.java (+1/-1)
src/pipe/gui/AnimationSettingsDialog.java (+0/-2)
src/pipe/gui/Animator.java (+1/-1)
src/pipe/gui/CreateGui.java (+28/-10)
src/pipe/gui/DelayEnabledTransitionControl.java (+1/-6)
src/pipe/gui/ExportBatchDialog.java (+5/-5)
src/pipe/gui/GuiFrame.java (+25/-77)
src/pipe/gui/GuiFrameController.java (+8/-4)
src/pipe/gui/Pipe.java (+6/-6)
src/pipe/gui/RunVerification.java (+0/-3)
src/pipe/gui/SelectionManager.java (+0/-1)
src/pipe/gui/action/GuiAction.java (+0/-1)
src/pipe/gui/action/SplitArcAction.java (+1/-1)
src/pipe/gui/canvas/Canvas.java (+0/-1)
src/pipe/gui/canvas/DrawingSurfaceImpl.java (+0/-2)
src/pipe/gui/canvas/PrototypeCanvas.java (+0/-1)
src/pipe/gui/graphicElements/AnnotationNote.java (+9/-5)
src/pipe/gui/graphicElements/Arc.java (+0/-3)
src/pipe/gui/graphicElements/Place.java (+10/-10)
src/pipe/gui/graphicElements/PlaceTransitionObject.java (+0/-1)
src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java (+0/-1)
src/pipe/gui/graphicElements/tapn/TimedPlaceComponent.java (+0/-2)
src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java (+1/-2)
src/pipe/gui/handler/ArcHandler.java (+0/-7)
src/pipe/gui/handler/PetriNetObjectHandler.java (+1/-24)
src/pipe/gui/handler/PlaceHandler.java (+0/-20)
src/pipe/gui/handler/TimedArcHandler.java (+0/-5)
src/pipe/gui/handler/TransitionHandler.java (+0/-23)
src/pipe/gui/undo/AddArcPathPointEdit.java (+3/-3)
src/pipe/gui/undo/AddTemplateCommand.java (+1/-1)
src/pipe/gui/undo/AnnotationBorderEdit.java (+1/-1)
src/pipe/gui/undo/AnnotationTextEdit.java (+3/-3)
src/pipe/gui/undo/ArcPathPointTypeEdit.java (+1/-1)
src/pipe/gui/undo/ArcTimeIntervalEdit.java (+4/-4)
src/pipe/gui/undo/TransitionRotationEdit.java (+2/-2)
src/pipe/gui/undo/TranslatePetriNetObjectEdit.java (+4/-4)
src/pipe/gui/undo/UndoManager.java (+6/-5)
src/pipe/gui/widgets/CTLQueryDialog.java (+16/-14)
src/pipe/gui/widgets/ConstantsDialogPanel.java (+25/-46)
src/pipe/gui/widgets/ConstantsPane.java (+10/-45)
src/pipe/gui/widgets/EngineDialogPanel.java (+16/-16)
src/pipe/gui/widgets/GuardDialogue.java (+13/-13)
src/pipe/gui/widgets/PlaceEditorPanel.java (+57/-143)
src/pipe/gui/widgets/QueryDialog.java (+12/-10)
src/pipe/gui/widgets/QueryPane.java (+6/-6)
src/pipe/gui/widgets/TAPNTransitionEditor.java (+80/-123)
src/pipe/gui/widgets/WorkflowDialog.java (+0/-2)
Related source package recipes
Related bugs
| Bug #1762817: Warnings to be fixed - memory acess | Low | Fix Released |
|
| Bug #1768524: About menu on Mac with Java 9 | Critical | Fix Released |
|
| Bug #1829887: Exception thrown in editor during verification | Critical | Fix Released |
|
| Bug #1881651: Tooltips not showing after enable/disable a few times | Critical | Fix Released |
|
| Bug #1888658: Re-enable Quick draw | Critical | Fix Released |
|
| Bug #1891001: The Dispaly of future enabled is always enabled | High | In Progress |
|
Related blueprints
Branch information
Recent revisions
- 1157. By Kenneth Yrke Jørgensen on 2020-08-10
-
Fixes bug #1891001, no longer hardcoded to alwas show dealy enabled transitions
- 1156. By Kenneth Yrke Jørgensen on 2020-08-10
-
Fixed an issue where showTokenAge action was updated insted of showToolTipaction
- 1148. By Kenneth Yrke Jørgensen on 2020-07-23
-
Implemented ctrl+click new contines drawing the current arc
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal
