public class JaxoExportLatexPS extends JaxoExport
Constructor and Description |
---|
JaxoExportLatexPS() |
Modifier and Type | Method and Description |
---|---|
void |
commitConfiguration()
Apply the changes made in the configuration panel.
|
java.lang.String |
description()
Return a short description (preferably internationalized)
of what this plugin does.
|
protected void |
exportTo(java.lang.String fileName)
Export the graph to the given nonempty file name.
|
int |
exportToWithStatus(java.lang.String fileName)
Tries to export a postscript file to the given file.
|
javax.swing.JComponent |
getConfigurationPanel()
Returns a panel that allows to configure optional
parameters of this export format.
|
java.lang.String |
getFileExtension()
Extension to be used for plugin files.
|
java.lang.String |
getFileExtensionDescription()
Description to be used for plugin file extensions.
|
java.lang.String |
getFormatName()
The name of the plugin (export or import) format.
|
java.lang.String |
getShortName()
Return a short name for this plugin.
|
java.lang.String |
getWarningForGraph()
Returns a warning if the current graph contains a LaTeX text.
|
java.lang.String |
pluginId()
This must return the class name of the plugin (MyPlugin.class.getName()).
|
void |
preview(JaxoPreview p,
boolean sameWindow)
Show a preview.
|
void |
updateLanguage()
Updates the component with the current language as set in the
preferences (
JaxoPrefs.PREF_LANGUAGE ). |
getBuiltInFormats, makeAvailableAtRuntime, version
errorDialogMessage, export, export, getCanvasSize, getColorSpaceWarningForLaTeX, getGraph, getLaTeXTextWarning, getPSTextWarning, getPSTextWarningForLaTeX, paintGraph, preview, setCanvasSize, setGraph, showErrorDialog
close, close, close, close, getClassName, getFailure, getLang, getLog, getParentComponent, getProperties, getProperty, getProperty, getShortGraphName, hasFailed, isSilent, loadProperties, pluginName, registerDictionary, setFailure, setParentComponent, setProperty, setShortGraphName, setSilent, storeProperties
public final java.lang.String getFormatName()
getFormatName
in class AbstractJaxoPlugin
public final java.lang.String getFileExtension()
getFileExtension
in class AbstractJaxoPlugin
public final java.lang.String getFileExtensionDescription()
getFileExtensionDescription
in class AbstractJaxoPlugin
public java.lang.String description()
public java.lang.String pluginId()
public java.lang.String getShortName()
public java.lang.String getWarningForGraph()
getWarningForGraph
in class JaxoExport
protected final void exportTo(java.lang.String fileName) throws JaxoPluginExecutionException
exportTo
in class JaxoExportPlugin
fileName
- The file to export to.JaxoPluginExecutionException
- if exporting fails.
The exception message sould be displayable in error dialogs,
so it should be an internationalized string.public final int exportToWithStatus(java.lang.String fileName)
fileName
- The name of the file to be exported.public void preview(JaxoPreview p, boolean sameWindow)
preview
in class JaxoExportPlugin
p
- The JaxoPreview to show.sameWindow
- If false, a new window will be opened for the preview.
If true, and if a preview window for the current format is open already,
the same window will be used for the preview.
Not all implementations may support this feature.public void commitConfiguration()
commitConfiguration
in class JaxoExportPlugin
public javax.swing.JComponent getConfigurationPanel()
getConfigurationPanel
in class JaxoExportPlugin
public final void updateLanguage()
JaxoPrefs.PREF_LANGUAGE
).Licensed under GPL. For more information, see http://jaxodraw.sourceforge.net/license.html or the LICENSE file in the jaxodraw distribution.