~tapaal-contributor/tapaal/fix-1894106-LabelsWithConstantsAreNotShown

« back to all changes in this revision

Viewing changes to src/pipe/gui/widgets/GuardDialogue.java

  • Committer: srba.jiri at gmail
  • Date: 2020-08-19 12:02:28 UTC
  • mfrom: (1071.2.34 untimed-timed-gui)
  • Revision ID: srba.jiri@gmail.com-20200819120228-ktxdev3ou3kuj3l0
merged in lp:~tapaal-contributor/tapaal/untimed-timed-gui adding timed/untimed lens projection

Show diffs side-by-side

added added

removed removed

Lines of Context:
27
27
import javax.swing.SpinnerNumberModel;
28
28
import javax.swing.event.ChangeEvent;
29
29
 
 
30
import dk.aau.cs.gui.TabContent;
30
31
import dk.aau.cs.model.tapn.*;
31
32
import net.tapaal.swinghelpers.WidthAdjustingComboBox;
32
33
import pipe.gui.CreateGui;
76
77
                if(objectToBeEdited instanceof TimedInputArcComponent && !(objectToBeEdited instanceof TimedInhibitorArcComponent)){
77
78
                        initTimeGuardPanel();
78
79
                }
79
 
                
 
80
        if(!objectToBeEdited.isTimed() ){
 
81
            guardEditPanel.setVisible(false);
 
82
        }
 
83
 
80
84
                initWeightPanel();
81
85
                initButtonPanel(objectToBeEdited);
82
86