| changeset 57613 | 4c6d44a3a079 |
| parent 57612 | 990ffb84489b |
| child 61194 | e4699ef5cf90 |
| 57612:990ffb84489b | 57613:4c6d44a3a079 |
|---|---|
1 /* Title: Pure/GUI/gui_thread.scala |
1 /* Title: Pure/GUI/gui_thread.scala |
2 Module: PIDE-GUI |
2 Module: PIDE-GUI |
3 Author: Makarius |
3 Author: Makarius |
4 |
4 |
5 Evaluation within the GUI thread: implementation for AWT/Swing. |
5 Evaluation within the GUI thread (for AWT/Swing). |
6 */ |
6 */ |
7 |
7 |
8 package isabelle |
8 package isabelle |
9 |
9 |
10 |
10 |