← Back to branch summary

~tapaal-contributor/tapaal/engine-option-matrix-dev

« back to all changes in this revision

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

  • Committer: ptaankvist at gmail
  • Date: 2020-08-04 08:19:45 UTC
  • mfrom: (1068.1.6 tapaal)
  • Revision ID: ptaankvist@gmail.com-20200804081945-3x1iokg1lnwzbzdg
merge with trunk

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/widgets/AnnotationPanel.java
21
21
 */
22
22
public class AnnotationPanel extends javax.swing.JPanel {
23
23
 
24
 
        private AnnotationNote annotation;
 
24
        private final AnnotationNote annotation;
25
25
 
26
26
        /**
27
27
         * Creates new form ParameterPanel