KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > armedbear > j > AdjustPlacementRunnable


1 /*
2  * AdjustPlacementRunnable.java
3  *
4  * Copyright (C) 2000-2003 Peter Graves
5  * $Id: AdjustPlacementRunnable.java,v 1.2 2003/06/28 19:14:21 piso Exp $
6  *
7  * This program is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License
9  * as published by the Free Software Foundation; either version 2
10  * of the License, or (at your option) any later version.
11  *
12  * This program is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with this program; if not, write to the Free Software
19  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
20  */
21
22 package org.armedbear.j;
23
24 import javax.swing.SwingUtilities JavaDoc;
25
26 public final class AdjustPlacementRunnable implements Runnable JavaDoc
27 {
28     private final Frame frame;
29     private final int extendedState;
30
31     public AdjustPlacementRunnable(Frame frame, int extendedState)
32     {
33         this.frame = frame;
34         this.extendedState = extendedState;
35     }
36
37     public void run()
38     {
39         if (extendedState != 0) {
40             frame.storeExtendedState(extendedState);
41             frame.setExtendedState(extendedState);
42         }
43         final Editor editor = frame.getCurrentEditor();
44         editor.setFocusToDisplay();
45         Runnable JavaDoc r = new Runnable JavaDoc() {
46             public void run()
47             {
48                 // Must call setDisplayReady(true) before calling reframe().
49 Editor.setDisplayReady(true);
50                 editor.reframe();
51                 if (editor.getBuffer().isBusy())
52                     editor.setWaitCursor();
53                 else
54                     editor.setDefaultCursor();
55             }
56         };
57         SwingUtilities.invokeLater(r);
58         IdleThread.startIdleThread();
59     }
60 }
61
Popular Tags