equal
deleted
inserted
replaced
137 |
137 |
138 /* |
138 /* |
139 * Dummy runnable to wake up EDT from getNextEvent() after |
139 * Dummy runnable to wake up EDT from getNextEvent() after |
140 push/pop is performed |
140 push/pop is performed |
141 */ |
141 */ |
142 private final static Runnable dummyRunnable = new Runnable() { |
142 private static final Runnable dummyRunnable = new Runnable() { |
143 public void run() { |
143 public void run() { |
144 } |
144 } |
145 }; |
145 }; |
146 |
146 |
147 private EventDispatchThread dispatchThread; |
147 private EventDispatchThread dispatchThread; |