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 |
---|
InsertionTacletBrowserMenuItem.TacletAppListItem(TacletApp app,
Sequent seq,
NotationInfo notInfo,
Services services) |
private final TacletApp app
private final NotationInfo notInfo
private final Services services
private final Sequent seq
public InsertionTacletBrowserMenuItem.TacletAppListItem(TacletApp app, Sequent seq, NotationInfo notInfo, Services services)