static class InsertionTacletBrowserMenuItem.TacletAppListItem extends Object
Modifier and Type | Field and Description |
---|---|
private TacletApp |
app |
private NotationInfo |
notInfo |
private Sequent |
seq |
private Services |
services |
Constructor and Description |
---|
TacletAppListItem(TacletApp app,
Sequent seq,
NotationInfo notInfo,
Services services) |
Modifier and Type | Method and Description |
---|---|
TacletApp |
getTacletApp() |
String |
longDescription() |
String |
shortDescription() |
String |
toString() |
private final TacletApp app
private final NotationInfo notInfo
private final Services services
private final Sequent seq
public TacletAppListItem(TacletApp app, Sequent seq, NotationInfo notInfo, Services services)