← Back to branch summary

~yrke/tapaal/removeNetType

« back to all changes in this revision

Viewing changes to src/pipe/gui/RunVerification.java

Merged lp:~yrke/tapaal/testbranch-syntaxOnlyChanges

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/RunVerification.java
64
64
                                if (result.getTrace() != null) {
65
65
                                        CreateGui.getApp().setGUIMode(GUIMode.animation);
66
66
        
67
 
                                        CreateGui.getAnimator().SetTrace(result.getTrace());
 
67
                                        CreateGui.getAnimator().setTrace(result.getTrace());
68
68
                                }
69
69
                        }
70
70
 
348
348
                return panel;
349
349
        }
350
350
        
351
 
        private class NonEditableModel extends DefaultTableModel {
 
351
        private static class NonEditableModel extends DefaultTableModel {
352
352
 
353
 
                private static final long serialVersionUID = -8992683250003224211L;
354
353
                NonEditableModel(Object[][] data, String[] columnNames) {
355
354
                super(data, columnNames);
356
355
            }