Merge lp:~tapaal-contributor/tapaal/cpn-disable-.all-transport-arcs-1952522 into lp:~tapaal-contributor/tapaal/cpn-gui-dev

Proposed by Kristian Morsing Pedersen
Status: Merged
Approved by: Jiri Srba
Approved revision: 1482
Merged at revision: 1483
Proposed branch: lp:~tapaal-contributor/tapaal/cpn-disable-.all-transport-arcs-1952522
Merge into: lp:~tapaal-contributor/tapaal/cpn-gui-dev
Diff against target: 33 lines (+17/-6)
1 file modified
src/pipe/gui/ColoredComponents/ColoredArcGuardPanel.java (+17/-6)
To merge this branch: bzr merge lp:~tapaal-contributor/tapaal/cpn-disable-.all-transport-arcs-1952522
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+412697@code.launchpad.net

Commit message

Removed .all in editing panel for transport arcs

To post a comment you must log in.
Revision history for this message
Jiri Srba (srba) wrote :

Tested and works.

review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
=== modified file 'src/pipe/gui/ColoredComponents/ColoredArcGuardPanel.java'
--- src/pipe/gui/ColoredComponents/ColoredArcGuardPanel.java 2021-08-30 07:11:16 +0000
+++ src/pipe/gui/ColoredComponents/ColoredArcGuardPanel.java 2021-12-02 15:41:28 +0000
@@ -548,12 +548,23 @@
548 private void initNumberExpressionsPanel() {548 private void initNumberExpressionsPanel() {
549 numberExprPanel = new JPanel(new GridBagLayout());549 numberExprPanel = new JPanel(new GridBagLayout());
550 numberExprPanel.setBorder(BorderFactory.createTitledBorder("Numerical Expressions"));550 numberExprPanel.setBorder(BorderFactory.createTitledBorder("Numerical Expressions"));
551 colorExpressionComboBoxPanel = new ColorComboboxPanel(colorType, true, context) {551
552 @Override552 if(isTransportArc) {
553 public void changedColor(JComboBox[] comboBoxes) {553 colorExpressionComboBoxPanel = new ColorComboboxPanel(colorType, false, context) {
554554 @Override
555 }555 public void changedColor(JComboBox[] comboBoxes) {
556 };556
557 }
558 };
559 } else {
560 colorExpressionComboBoxPanel = new ColorComboboxPanel(colorType, true, context) {
561 @Override
562 public void changedColor(JComboBox[] comboBoxes) {
563
564 }
565 };
566 }
567
557 colorExpressionComboBoxPanel.removeScrollPaneBorder();568 colorExpressionComboBoxPanel.removeScrollPaneBorder();
558 Integer current = 1;569 Integer current = 1;
559 Integer min = 1;570 Integer min = 1;

Subscribers

People subscribed via source and target branches

to all changes: