hades.gui
Class AWTExportOptionsDialog

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  hades.gui.AWTExportOptionsDialog

All Implemented Interfaces:

javax.accessibility.Accessible, java.awt.event.ActionListener, java.util.EventListener, ExportOptionsDialog, java.awt.image.ImageObserver, java.awt.event.KeyListener, java.awt.MenuContainer, java.io.Serializable

public class AWTExportOptionsDialog

extends java.awt.Frame

implements ExportOptionsDialog, java.awt.event.ActionListener, java.awt.event.KeyListener

Class AWTExportOptionsDialog. Popup-dialog to specify the fig2dev export options for HADES

Check class hades.utils.AWTExportOptionsDialog for the list and numerical encoding of the available color options.

See Also:

Serialized Form

Nested Class Summary

Nested classes inherited from class java.awt.Frame

java.awt.Frame.AccessibleAWTFrame

Nested classes inherited from class java.awt.Window

java.awt.Window.AccessibleAWTWindow

Nested classes inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

int	BLACK_WHITE
(package private) java.lang.String	BLACK_WHITE_STRING
(package private) java.awt.Button	cancelButton
(package private) java.awt.Choice	centerChoice
(package private) java.awt.Choice	colorChoice
(package private) boolean	debug
(package private) java.awt.Font	defaultFont
(package private) java.awt.Dimension	dm
(package private) java.awt.Button	exportNowButton
(package private) java.lang.String	filename
(package private) java.awt.Button	filenameButton
(package private) java.awt.TextField	filenameTF
(package private) java.awt.Button	fitToPageButton
int	FULL_COLORS
(package private) java.lang.String	FULL_COLORS_STRING
int	IO_COLORS
(package private) java.lang.String	IO_COLORS_STRING
(package private) java.awt.Choice	languageChoice
(package private) java.awt.TextField	magnificationTF
(package private) java.lang.String	name
(package private) java.awt.Button	okButton
(package private) java.awt.Choice	orientationChoice
(package private) java.awt.Label	sizeLabel
(package private) java.awt.TextField	xoffsetTF
(package private) java.awt.TextField	yoffsetTF

Fields inherited from class java.awt.Frame

CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR

Fields inherited from class java.awt.Window

Fields inherited from class java.awt.Container

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

AWTExportOptionsDialog()
The exportDialog constructor.

Method Summary

void	actionPerformed(java.awt.event.ActionEvent evt) handle Button (&Co) Events
protected void	buildGUI()
void	doExportEPS()
void	doExportNativeGIF()
void	doExportNativePPM()
void	doExportPS()
int	getColorOption() get the currently selected color option.
java.awt.Component	getComponent()
java.lang.String	getFig2devOptionString() get transfig/fig2dev options from current settings
java.lang.String	getFilenameExtension() get filename extensions corresponding to current export language selection.
int	getMagnification()
void	keyPressed(java.awt.event.KeyEvent evt) keyPressed(): Call the parent if the user presses or .
void	keyReleased(java.awt.event.KeyEvent evt)
void	keyTyped(java.awt.event.KeyEvent evt)
static void	main(java.lang.String[] argv) main(), for debugging only
void	message(java.lang.String msg)
void	setActionListener(java.awt.event.ActionListener AL)
void	setFilename(java.lang.String filename) set and show the filename selected by the user
void	setMagnification(int i)
void	setSizeLabel(double size_x, double size_y)
void	showSize(java.awt.Dimension d)
void	updateFigObjectsBoundingBox()
void	updateOutFilenameFromFigFilename()

Methods inherited from class java.awt.Frame

addNotify, finalize, getAccessibleContext, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, paramString, remove, removeNotify, setCursor, setExtendedState, setIconImage, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getInputContext, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, hide, isActive, isFocusableWindow, isFocusCycleRoot, isFocused, isShowing, pack, postEvent, processEvent, processWindowEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationRelativeTo, show, toBack, toFront

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, remove, removeAll, removeContainerListener, setFocusTraversalKeys, setFocusTraversalPolicy, setFont, setLayout, transferFocusBackward, transferFocusDownCycle, update, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isOpaque, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface hades.gui.ExportOptionsDialog

show

Methods inherited from interface java.awt.MenuContainer

getFont, postEvent

Field Detail

FULL_COLORS

public final int FULL_COLORS

See Also:

Constant Field Values

IO_COLORS

public final int IO_COLORS

See Also:

Constant Field Values

BLACK_WHITE

public final int BLACK_WHITE

See Also:

Constant Field Values

FULL_COLORS_STRING

final java.lang.String FULL_COLORS_STRING

See Also:

Constant Field Values

IO_COLORS_STRING

final java.lang.String IO_COLORS_STRING

See Also:

Constant Field Values

BLACK_WHITE_STRING

final java.lang.String BLACK_WHITE_STRING

See Also:

Constant Field Values

magnificationTF

java.awt.TextField magnificationTF

xoffsetTF

java.awt.TextField xoffsetTF

yoffsetTF

java.awt.TextField yoffsetTF

languageChoice

java.awt.Choice languageChoice

orientationChoice

java.awt.Choice orientationChoice

centerChoice

java.awt.Choice centerChoice

colorChoice

java.awt.Choice colorChoice

filenameButton

java.awt.Button filenameButton

filenameTF

java.awt.TextField filenameTF

fitToPageButton

java.awt.Button fitToPageButton

sizeLabel

java.awt.Label sizeLabel

okButton

java.awt.Button okButton

exportNowButton

java.awt.Button exportNowButton

cancelButton

java.awt.Button cancelButton

defaultFont

java.awt.Font defaultFont

debug

boolean debug

name

java.lang.String name

dm

java.awt.Dimension dm

filename

java.lang.String filename

Constructor Detail

AWTExportOptionsDialog

public AWTExportOptionsDialog()

The exportDialog constructor.

Method Detail

updateFigObjectsBoundingBox

public void updateFigObjectsBoundingBox()

Specified by:

updateFigObjectsBoundingBox in interface ExportOptionsDialog

updateOutFilenameFromFigFilename

public void updateOutFilenameFromFigFilename()

Specified by:

updateOutFilenameFromFigFilename in interface ExportOptionsDialog

doExportPS

public void doExportPS()

Specified by:

doExportPS in interface ExportOptionsDialog

doExportEPS

public void doExportEPS()

Specified by:

doExportEPS in interface ExportOptionsDialog

doExportNativePPM

public void doExportNativePPM()

Specified by:

doExportNativePPM in interface ExportOptionsDialog

doExportNativeGIF

public void doExportNativeGIF()

Specified by:

doExportNativeGIF in interface ExportOptionsDialog

getComponent

public java.awt.Component getComponent()

Specified by:

getComponent in interface ExportOptionsDialog

setActionListener

public void setActionListener(java.awt.event.ActionListener AL)

buildGUI

protected void buildGUI()

keyPressed

public void keyPressed(java.awt.event.KeyEvent evt)

keyPressed(): Call the parent if the user presses or .

Specified by:

keyPressed in interface java.awt.event.KeyListener

keyReleased

public void keyReleased(java.awt.event.KeyEvent evt)

Specified by:

keyReleased in interface java.awt.event.KeyListener

keyTyped

public void keyTyped(java.awt.event.KeyEvent evt)

Specified by:

keyTyped in interface java.awt.event.KeyListener

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent evt)

handle Button (&Co) Events

Specified by:

actionPerformed in interface java.awt.event.ActionListener

getColorOption

public int getColorOption()

get the currently selected color option. Possible values are FULL_COLORS, IO_COLORS, and BLACK_WHITE.

setSizeLabel

public void setSizeLabel(double size_x,
                         double size_y)

showSize

public void showSize(java.awt.Dimension d)

setMagnification

public void setMagnification(int i)

getMagnification

public int getMagnification()

setFilename

public void setFilename(java.lang.String filename)

set and show the filename selected by the user

getFilenameExtension

public java.lang.String getFilenameExtension()

get filename extensions corresponding to current export language selection.

getFig2devOptionString

public java.lang.String getFig2devOptionString()

get transfig/fig2dev options from current settings

message

public void message(java.lang.String msg)

main

public static void main(java.lang.String[] argv)

main(), for debugging only