public static interface KeYGuiExtension.Tooltip
SequentView
Modifier and Type | Method and Description |
---|---|
java.util.List<java.lang.String> |
getTooltipStrings(MainWindow mainWindow,
PosInSequent pos) |
java.util.List<java.lang.String> getTooltipStrings(MainWindow mainWindow, PosInSequent pos)
mainWindow
- the main window.pos
- the position of the term whose info shall be shown.Copyright © 2003-2019 The KeY-Project.