jfig.gui
Class EditorMenuBar

java.lang.Object
  jfig.gui.EditorMenuBar

public class EditorMenuBar

extends java.lang.Object

menu bar and menu items for the jfig editor.

Field Summary

java.awt.CheckboxMenuItem	antialiasMI
java.awt.MenuItem	debugWriteResourceMI
(package private) java.awt.Menu	fileMenu
(package private) java.awt.MenuBar	menuBar
java.awt.CheckboxMenuItem	qualityMI
java.awt.CheckboxMenuItem	showLineLengthsMI
java.awt.CheckboxMenuItem	showTeXStringsMI
java.awt.CheckboxMenuItem	specialRemapMouseMI
java.awt.CheckboxMenuItem	writeFig31MI
java.awt.CheckboxMenuItem	writeFig32MI

Constructor Summary

EditorMenuBar()

Method Summary

void	addActionListener(java.awt.event.ActionListener AL)
void	addExportListener(java.awt.event.ActionListener AL)
void	addItemListener(java.awt.event.ItemListener IL)
java.awt.MenuBar	getMenuBar()
java.awt.MenuItem	getRedoMenuItem()
java.awt.MenuItem	getUndoMenuItem()
void	setFigVersion(int version)
void	setFont(java.awt.Font font)
void	setRecentFileManager(RecentFileManager 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

java.awt.MenuBar menuBar

fileMenu

java.awt.Menu fileMenu

writeFig31MI

public java.awt.CheckboxMenuItem writeFig31MI

writeFig32MI

public java.awt.CheckboxMenuItem writeFig32MI

specialRemapMouseMI

public java.awt.CheckboxMenuItem specialRemapMouseMI

antialiasMI

public java.awt.CheckboxMenuItem antialiasMI

qualityMI

public java.awt.CheckboxMenuItem qualityMI

showLineLengthsMI

public java.awt.CheckboxMenuItem showLineLengthsMI

showTeXStringsMI

public java.awt.CheckboxMenuItem showTeXStringsMI

debugWriteResourceMI

public java.awt.MenuItem debugWriteResourceMI

Constructor Detail

EditorMenuBar

public EditorMenuBar()

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)

setRecentFileManager

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

getUndoMenuItem

public java.awt.MenuItem getUndoMenuItem()

getRedoMenuItem

public java.awt.MenuItem getRedoMenuItem()

getMenuBar

public java.awt.MenuBar getMenuBar()