| Modifier and Type | Field and Description |
|---|---|
| public static final PushApplications |
| Access | Constructor and Description |
|---|---|
| public |
| Modifier and Type | Method and Description |
|---|---|
| protected String[] | getCommandLine(String keyString)
Overrides org. Constructs the command line arguments for pushing citations to the application. |
| public String | getDisplayName()
Implements org. Gets the display name for the push operation. |
| public String[] | jumpToLineCommandlineArguments(Path fileName, int line, int column)
Overrides org.
|
| APPLICATION | back to summary |
|---|---|
| public static final PushApplications APPLICATION | |
| PushToWinEdt | back to summary |
|---|---|
| public PushToWinEdt(NotificationService notificationService, PushToApplicationPreferences preferences) | |
| getCommandLine | back to summary |
|---|---|
| protected String[] getCommandLine(String keyString) Overrides org. Doc from org. Constructs the command line arguments for pushing citations to the application. The method formats the citation key and prefixes/suffixes as per user preferences before invoking the application with the command to insert text.
| |
| getDisplayName | back to summary |
|---|---|
| public String getDisplayName() Implements org. Doc from org. Gets the display name for the push operation. This name is used in the GUI to represent the push action to the user.
| |
| jumpToLineCommandlineArguments | back to summary |
|---|---|
| public String[] jumpToLineCommandlineArguments(Path fileName, int line, int column) Overrides org.
| |