| changeset 55618 | 995162143ef4 |
| parent 53853 | e8430d668f44 |
| child 56662 | f373fb77e0a4 |
| 55617:2c585bb9560c | 55618:995162143ef4 |
|---|---|
4 |
4 |
5 Evaluation within the AWT/Swing thread. |
5 Evaluation within the AWT/Swing thread. |
6 */ |
6 */ |
7 |
7 |
8 package isabelle |
8 package isabelle |
9 |
|
9 |
10 |
10 import javax.swing.{SwingUtilities, Timer} |
11 import javax.swing.{SwingUtilities, Timer} |
11 import java.awt.event.{ActionListener, ActionEvent} |
12 import java.awt.event.{ActionListener, ActionEvent} |
12 |
13 |
13 |
14 |