@Override protected void initializeSwing() { super.initializeSwing(); JDesktopPane swingDesktop = new JDesktopPane(); setSwingField(swingDesktop); // swingDesktop.setDesktopManager(new MultiSplitDesktopManager()); IMultiSplitStrategy columnSplitStrategy = createMultiSplitStrategy(); MultiSplitLayout layout = new MultiSplitLayout(columnSplitStrategy); swingDesktop.setLayout(layout); swingDesktop.setOpaque(true); // cursor swingDesktop.setCursor(null); // focus root swingDesktop.setFocusCycleRoot(false); swingDesktop.setFocusTraversalPolicy(null); // AWE: this could be integrated in new ui (was forgotton in metal laf) swingDesktop .getInputMap(JComponent.WHEN_ANCESTOR_OF_FOCUSED_COMPONENT) .put(SwingUtility.createKeystroke("shift ctrl TAB"), "selectPreviousFrame"); // register ctrl-TAB and ctrl-shift-TAB actions according to ui swingDesktop.getActionMap().put("selectNextFrame", new P_SwingTabFrameAction(1)); swingDesktop.getActionMap().put("selectPreviousFrame", new P_SwingTabFrameAction(-1)); // development shortcuts SwingUtility.installDevelopmentShortcuts(getSwingDesktopPane()); }
protected void installDesktopManager() { desktopManager = desktop.getDesktopManager(); if (desktopManager == null) { desktopManager = new BasicDesktopManager(); desktop.setDesktopManager(desktopManager); } }
/** Constructs a new desktop. */ public TetradDesktop() { setBackground(new Color(204, 204, 204)); sessionNodeKeys = new ArrayList(); // Create the desktop pane. this.desktopPane = new JDesktopPane(); // Do layout. setLayout(new BorderLayout()); desktopPane.setDesktopManager(new DefaultDesktopManager()); desktopPane.setBorder(new BevelBorder(BevelBorder.LOWERED)); desktopPane.addPropertyChangeListener(this); this.setupDesktop(); TetradLogger.getInstance().addTetradLoggerListener(new LoggerListener()); }
protected void uninstallDesktopManager() { if (desktop.getDesktopManager() instanceof UIResource) { desktop.setDesktopManager(null); } desktopManager = null; }