| changeset 59240 | e411afcfaa29 |
| parent 59228 | 56b34fc7a015 |
| child 59245 | be4180f3c236 |
| 59239:d20cdab3bfeb | 59240:e411afcfaa29 |
|---|---|
1 /* Title: Tools/Graphview/popups.scala |
1 /* Title: Tools/Graphview/popups.scala |
2 Author: Markus Kaiser, TU Muenchen |
2 Author: Markus Kaiser, TU Muenchen |
3 Author: Makarius |
|
3 |
4 |
4 PopupMenu generation for graph components. |
5 PopupMenu generation for graph components. |
5 */ |
6 */ |
6 |
7 |
7 package isabelle.graphview |
8 package isabelle.graphview |