lp:~yrke/tapaal/evenMore-gui-cleanup
Created by
Kenneth Yrke Jørgensen
and last modified
- 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
No branches
dependent on this one.
- Jiri Srba: Approve
-
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 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
-
Fixes bug #1891001, no longer hardcoded to alwas show dealy enabled transitions
- 1156. By Kenneth Yrke Jørgensen
-
Fixed an issue where showTokenAge action was updated insted of showToolTipaction
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal