コード例 #1
0
  /** 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());
  }
コード例 #2
0
 /**
  * Installs the <code>PropertyChangeListener</code> returned from <code>
  * createPropertyChangeListener</code> on the <code>JDesktopPane</code>.
  *
  * @since 1.5
  * @see #createPropertyChangeListener
  */
 protected void installListeners() {
   pcl = createPropertyChangeListener();
   desktop.addPropertyChangeListener(pcl);
 }