Java WindowEvent.getIDの例

コード例 #1

ファイル: BeanPrefsDialog.java プロジェクト: flair2005/vrjuggler

  protected void processWindowEvent(WindowEvent e) {
    if (e.getID() == WindowEvent.WINDOW_CLOSING) {
      status = CLOSED_OPTION;
      dispose();
    }

    super.processWindowEvent(e);
  }

コード例 #2

ファイル: FrameModules.java プロジェクト: RubelAhmed57/KEEL

 @Override
 /** Closing the application */
 protected void processWindowEvent(WindowEvent e) {
   super.processWindowEvent(e);
   if (e.getID() == WindowEvent.WINDOW_CLOSING) {
     System.exit(0);
   }
 }

コード例 #3

ファイル: HelpBrowserFrame.java プロジェクト: ThatGuyOverTher/Frost

 @Override
 protected void processWindowEvent(final WindowEvent e) {
   if (e.getID() == WindowEvent.WINDOW_CLOSING) {
     if (!plugin) {
       dispose();
       System.exit(0);
     } else {
       saveWindowState();
       setVisible(false);
     }
   } else {
     super.processWindowEvent(e);
   }
 }

コード例 #4

ファイル: CBiomAbout.java プロジェクト: kayschwarz/biomorph

 protected void processWindowEvent(WindowEvent e) {
   if (e.getID() == WindowEvent.WINDOW_CLOSING) {
     cancel();
   }
   super.processWindowEvent(e);
 }

コード例 #5

ファイル: BasicGuideDialog.java プロジェクト: sunghwanHan/blogbridge

    /**
     * Repacks the window each time it is displayed to adjust size to fit wording and buttons.
     *
     * @param e event.
     */
    protected void processWindowEvent(WindowEvent e) {
      super.processWindowEvent(e);

      if (e.getID() == WindowEvent.WINDOW_OPENED) pack();
    }

コード例 #6

ファイル: hostelStatus.java プロジェクト: rajanthakurjaguar/HMS

 protected void processWindowEvent(WindowEvent we) {
   if (we.getID() == we.WINDOW_CLOSING) {
     r = JOptionPane.showConfirmDialog(null, "WARNNING", "EXIT", JOptionPane.WARNING_MESSAGE);
     if (r == JOptionPane.YES_OPTION) dispose();
   }
 }

コード例 #7

ファイル: RollerCoasterFrame.java プロジェクト: bourriquet/imperial_msc_computing

 /** Overridden so we can exit when window is closed */
 protected void processWindowEvent(WindowEvent e) {
   super.processWindowEvent(e);
   if (e.getID() == WindowEvent.WINDOW_CLOSING) {
     System.exit(0);
   }
 }