Verified Owner
Top Fields Constructors Methods
org.jabref.gui.push

public Class GuiPushToWinEdt

extends PushToWinEdt
implements GuiPushToApplication
Class Inheritance
All Implemented Interfaces
org.jabref.gui.push.GuiPushToApplication
Imports
org.jabref.gui.DialogService, org.jabref.gui.icon.IconTheme, .JabRefIcon, org.jabref.gui.util.UiTaskExecutor, org.jabref.logic.push.PushToApplicationPreferences, .PushToWinEdt

Field Summary

Modifier and TypeField and Description
private final DialogService
dialogService

Constructor Summary

AccessConstructor and Description
public
GuiPushToWinEdt(DialogService dialogService, PushToApplicationPreferences preferences)

Method Summary

Modifier and TypeMethod and Description
public JabRefIcon
getApplicationIcon()

Implements org.jabref.gui.push.GuiPushToApplication.getApplicationIcon.

Gets the icon associated with the application.

public void
sendErrorNotification(String title, String message)

Field Detail

dialogServiceback to summary
private final DialogService dialogService

Constructor Detail

GuiPushToWinEdtback to summary
public GuiPushToWinEdt(DialogService dialogService, PushToApplicationPreferences preferences)

Method Detail

getApplicationIconback to summary
public JabRefIcon getApplicationIcon()

Implements org.jabref.gui.push.GuiPushToApplication.getApplicationIcon.

Doc from org.jabref.gui.push.GuiPushToApplication.getApplicationIcon.

Gets the icon associated with the application.

Annotations
@Override
sendErrorNotificationback to summary
public void sendErrorNotification(String title, String message)
Annotations
@Override