About menu on Mac with Java 9
Bug #1768524 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Critical
|
Kenneth Yrke Jørgensen | ||
Bug Description
The native About menu on Mac with Java 9 is broken (shows default Java About,
not the custom made one).
Related branches
lp:~yrke/tapaal/evenMore-gui-cleanup
- 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)
| Changed in tapaal: | |
| status: | New → Confirmed |
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
Revision history for this message
| Jiri Srba (srba) wrote | #2 |
| Changed in tapaal: | |
| assignee: | nobody → Kenneth Yrke Jørgensen (yrke) |
| Changed in tapaal: | |
| status: | Confirmed → Fix Committed |
| Changed in tapaal: | |
| status: | Fix Committed → 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.
This is confirmed also in current trunk with
openjdk 12.0.1 2019-04-16