jfig.gui
Class JEditorMenuBar

java.lang.Object
  jfig.gui.JEditorMenuBar

public class JEditorMenuBar

extends java.lang.Object

Swing menu bar and menu items for the jfig editor.

Field Summary

javax.swing.JCheckBoxMenuItem	antialiasMI
javax.swing.JMenuItem	debugWriteResourceMI
(package private) javax.swing.JMenu	fileMenu
(package private) javax.swing.JMenuBar	menuBar
javax.swing.JCheckBoxMenuItem	mouseWheelScrollingMI
javax.swing.JCheckBoxMenuItem	optionsRemapMouseMI
javax.swing.JCheckBoxMenuItem	qualityMI
(package private) javax.swing.JCheckBoxMenuItem	scaleFontSizeMI
(package private) javax.swing.JCheckBoxMenuItem	scaleLineWidthMI
javax.swing.JCheckBoxMenuItem	showLayerManagerMI
javax.swing.JCheckBoxMenuItem	showLineLengthsMI
javax.swing.JCheckBoxMenuItem	showTeXStringsMI
javax.swing.JCheckBoxMenuItem	tripleBufferMI
javax.swing.JCheckBoxMenuItem	writeFig31MI
javax.swing.JCheckBoxMenuItem	writeFig32MI

Constructor Summary

JEditorMenuBar()
create the main editor menu bar for the Swing based jfig editor, including all normal and checkbox menu items and their shortcuts.

Method Summary

void	addActionListener(java.awt.event.ActionListener AL)
void	addExportListener(java.awt.event.ActionListener AL)
void	addItemListener(java.awt.event.ItemListener IL)
javax.swing.JMenuBar	getJMenuBar()
javax.swing.JMenuItem	getRedoMenuItem()
javax.swing.JMenuItem	getUndoMenuItem()
static void	main(java.lang.String[] argv)
void	setFigVersion(int version, java.awt.event.ItemListener IL) update the "FIG 3.1" or "FIG 3.2" CheckBoxMenuItems to reflect the currently selected FIG format version.
void	setFont(java.awt.Font font)
void	setRecentFileManager(JRecentFileManager rfm, java.awt.event.ActionListener AL)

Methods inherited from class java.lang.Object

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

Field Detail

menuBar

javax.swing.JMenuBar menuBar

fileMenu

javax.swing.JMenu fileMenu

writeFig31MI

public javax.swing.JCheckBoxMenuItem writeFig31MI

writeFig32MI

public javax.swing.JCheckBoxMenuItem writeFig32MI

optionsRemapMouseMI

public javax.swing.JCheckBoxMenuItem optionsRemapMouseMI

antialiasMI

public javax.swing.JCheckBoxMenuItem antialiasMI

qualityMI

public javax.swing.JCheckBoxMenuItem qualityMI

tripleBufferMI

public javax.swing.JCheckBoxMenuItem tripleBufferMI

mouseWheelScrollingMI

public javax.swing.JCheckBoxMenuItem mouseWheelScrollingMI

showLayerManagerMI

public javax.swing.JCheckBoxMenuItem showLayerManagerMI

showLineLengthsMI

public javax.swing.JCheckBoxMenuItem showLineLengthsMI

showTeXStringsMI

public javax.swing.JCheckBoxMenuItem showTeXStringsMI

scaleLineWidthMI

javax.swing.JCheckBoxMenuItem scaleLineWidthMI

scaleFontSizeMI

javax.swing.JCheckBoxMenuItem scaleFontSizeMI

debugWriteResourceMI

public javax.swing.JMenuItem debugWriteResourceMI

Constructor Detail

JEditorMenuBar

public JEditorMenuBar()

create the main editor menu bar for the Swing based jfig editor, including all normal and checkbox menu items and their shortcuts.

Method Detail

setFont

public void setFont(java.awt.Font font)

addActionListener

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

addExportListener

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

addItemListener

public void addItemListener(java.awt.event.ItemListener IL)

setFigVersion

public void setFigVersion(int version,
                          java.awt.event.ItemListener IL)

update the "FIG 3.1" or "FIG 3.2" CheckBoxMenuItems to reflect the currently selected FIG format version. Swing fun: to avoid a StackOverflow due to CheckBoxMenuItem.setState instantly calling itemStateChanged in JDK 1.3.x, we have to remove the ItemListener, call setState(), and add the ItemListener back...

setRecentFileManager

public void setRecentFileManager(JRecentFileManager rfm,
                                 java.awt.event.ActionListener AL)

getUndoMenuItem

public javax.swing.JMenuItem getUndoMenuItem()

getRedoMenuItem

public javax.swing.JMenuItem getRedoMenuItem()

getJMenuBar

public javax.swing.JMenuBar getJMenuBar()

main

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