← Back to branch summary

~tapaal-contributor/tapaal/autodetect-lens-check2

« back to all changes in this revision

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

merged in lp:~yrke/tapaal/evenMore-gui-cleanup doing GUI cleanup and fixing memory access check, about menu in Mac, exception in verification and reenabled quick draw

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/GuiFrameController.java
33
33
 
34
34
public class GuiFrameController implements GuiFrameControllerActions{
35
35
 
36
 
    GuiFrame guiFrameDirectAccess; //XXX - while refactoring shold only use guiFrameActions
37
 
    GuiFrameActions guiFrame;
 
36
    final GuiFrame guiFrameDirectAccess; //XXX - while refactoring shold only use guiFrameActions
 
37
    final GuiFrameActions guiFrame;
38
38
 
39
39
    final MutableReference<TabContentActions> currentTab = new MutableReference<>();
40
40
 
88
88
        DelayEnabledTransitionControl.setDefaultIsRandomTransition(prefs.getDelayEnabledTransitionIsRandomTransition());
89
89
 
90
90
        showToolTips = prefs.getShowToolTips();
 
91
        setDisplayToolTips(showToolTips);
91
92
        guiFrame.setShowToolTipsSelected(showToolTips);
92
93
 
93
94
        showZeroToInfinityIntervals = prefs.getShowZeroInfIntervals();
109
110
 
110
111
        guiFrame.attachTabToGuiFrame(tab);
111
112
        guiFrame.changeToTab(tab);
 
113
        //XXX fixes an issue where on first open of a net the time intervals are not shown
 
114
        tab.drawingSurface().repaintAll();
112
115
 
113
116
    }
114
117
 
484
487
    @Override
485
488
    public void showBatchProcessingDialog() {
486
489
        if (showSavePendingChangesDialogForAllTabs()) {
487
 
            BatchProcessingDialog.showBatchProcessingDialog(new JList(new DefaultListModel()));
 
490
            BatchProcessingDialog.showBatchProcessingDialog(new JList<>(new DefaultListModel<>()));
488
491
        }
489
492
    }
490
493
 
670
673
 
671
674
    @Override
672
675
    public void toggleDisplayToolTips() {
673
 
        setDisplayToolTips(!showToolTips);
 
676
        showToolTips = !showToolTips;
 
677
        setDisplayToolTips(showToolTips);
674
678
    }
675
679
 
676
680
    private void setDisplayToolTips(boolean b) {