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

public Class GuiPushToTexmaker

extends PushToTexmaker
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, .PushToTexmaker

Field Summary

Modifier and TypeField and Description
private final DialogService

Constructor Summary

AccessConstructor and Description
public

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

Field Detail

dialogServiceback to summary
private final DialogService dialogService

Constructor Detail

GuiPushToTexmakerback to summary
public GuiPushToTexmaker(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