protected JCheckBoxMenuItem hiddenMarkers = new JCheckBoxMenuItem();
- protected JTabbedPane tabbedPane = jalview.jbgui.GDesktop
- .createTabbedPane();
+ protected JTabbedPane tabbedPane = new JTabbedPane();
protected JMenuItem reload = new JMenuItem();