| Modifier and Type | Field and Description |
|---|---|
| public static final PushApplications | |
| private static final Logger |
| 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 void | onOperationCompleted()
Overrides org. Implements org. Reporting etc., this method is called on the event dispatch thread after pushEntries() returns. |
| public void | pushEntries(List<BibEntry> entries)
Overrides org. Implements org. The actual operation. |
| APPLICATION | back to summary |
|---|---|
| public static final PushApplications APPLICATION | |
| LOGGER | back to summary |
|---|---|
| private static final Logger LOGGER Hides org. | |
| PushToTexShop | back to summary |
|---|---|
| public PushToTexShop(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.
| |
| onOperationCompleted | back to summary |
|---|---|
| public void onOperationCompleted() Overrides org. Implements org. Doc from org. Reporting etc., this method is called on the event dispatch thread after pushEntries() returns.
| |
| pushEntries | back to summary |
|---|---|
| public void pushEntries(List<BibEntry> entries) Overrides org. Implements org. Doc from org. The actual operation. This method will not be called on the event dispatch thread, so it should not do GUI operations without utilizing invokeLater().
| |