| changeset 57613 | 4c6d44a3a079 |
| parent 57612 | 990ffb84489b |
| child 61195 | 42419fe6f660 |
| 57612:990ffb84489b | 57613:4c6d44a3a079 |
|---|---|
1 /* Title: Tools/jEdit/src/text_overview.scala |
1 /* Title: Tools/jEdit/src/text_overview.scala |
2 Author: Makarius |
2 Author: Makarius |
3 |
3 |
4 Swing component for text status overview. |
4 GUI component for text status overview. |
5 */ |
5 */ |
6 |
6 |
7 package isabelle.jedit |
7 package isabelle.jedit |
8 |
8 |
9 |
9 |