Merge lp:~tapaal-contributor/tapaal/cpn-variable-color-tool-window into lp:~tapaal-contributor/tapaal/cpn-gui-dev
Proposed by
Kristian Morsing Pedersen
Status: | Merged |
---|---|
Approved by: | Jiri Srba |
Approved revision: | 1620 |
Merged at revision: | 1619 |
Proposed branch: | lp:~tapaal-contributor/tapaal/cpn-variable-color-tool-window |
Merge into: | lp:~tapaal-contributor/tapaal/cpn-gui-dev |
Diff against target: |
271 lines (+138/-8) 5 files modified
src/net/tapaal/gui/GuiFrameController.java (+1/-0) src/net/tapaal/gui/TabActions.java (+2/-0) src/net/tapaal/gui/petrinet/editor/ConstantsPane.java (+1/-1) src/pipe/gui/GuiFrame.java (+16/-5) src/pipe/gui/petrinet/PetriNetTab.java (+118/-2) |
To merge this branch: | bzr merge lp:~tapaal-contributor/tapaal/cpn-variable-color-tool-window |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Jiri Srba | Approve | ||
Review via email: mp+416424@code.launchpad.net |
This proposal supersedes a proposal from 2022-03-02.
To post a comment you must log in.
open CPN token-ring net and show the color type information and it does not do it correctly for the product type Couple is (after which it does not print anything).
Could this be a problem also in tikz export?