com.xmlmind.xmleditext.mathml.pane

Class MathMLPane

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JScrollPane

com.xmlmind.xmleditext.mathml.pane.MathMLPane

All Implemented Interfaces:

AppPane, AppPart, ImageObserver, MenuContainer, Serializable, Accessible, ScrollPaneConstants

public final class MathMLPane
extends JScrollPane
implements AppPane

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.JScrollPane

JScrollPane.AccessibleJScrollPane, JScrollPane.ScrollBar

Nested classes/interfaces inherited from class javax.swing.JComponent

JComponent.AccessibleJComponent

Nested classes/interfaces inherited from class java.awt.Container

Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy

Field Summary

Fields inherited from class javax.swing.JScrollPane

columnHeader, horizontalScrollBar, horizontalScrollBarPolicy, lowerLeft, lowerRight, rowHeader, upperLeft, upperRight, verticalScrollBar, verticalScrollBarPolicy, viewport

Fields inherited from class javax.swing.JComponent

listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

Fields inherited from class java.awt.Component

accessibleContext, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface javax.swing.ScrollPaneConstants

COLUMN_HEADER, HORIZONTAL_SCROLLBAR, HORIZONTAL_SCROLLBAR_ALWAYS, HORIZONTAL_SCROLLBAR_AS_NEEDED, HORIZONTAL_SCROLLBAR_NEVER, HORIZONTAL_SCROLLBAR_POLICY, LOWER_LEADING_CORNER, LOWER_LEFT_CORNER, LOWER_RIGHT_CORNER, LOWER_TRAILING_CORNER, ROW_HEADER, UPPER_LEADING_CORNER, UPPER_LEFT_CORNER, UPPER_RIGHT_CORNER, UPPER_TRAILING_CORNER, VERTICAL_SCROLLBAR, VERTICAL_SCROLLBAR_ALWAYS, VERTICAL_SCROLLBAR_AS_NEEDED, VERTICAL_SCROLLBAR_NEVER, VERTICAL_SCROLLBAR_POLICY, VIEWPORT

Fields inherited from interface java.awt.image.ImageObserver

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

Constructor Summary

Constructors

Constructor and Description
MathMLPane()

Method Summary

Modifier and Type	Method and Description
void	activeEditorChanged() Invoked after the active editor has changed or when there is no active editor at all (generally because all documents have been closed).
void	applyPreferences() If this part supports user preferences, this part should update its state after reading its settings from the object returned by AppBase.getPreferences().
void	destroyApp() Invoked when the component is detached from the App.
void	editingContextChanged() Invoked when the editing context (text node containing caret, node selection, etc) changes in active editor.
void	flushPreferences() If this part supports user preferences, this part should store its current settings in the object returned by AppBase.getPreferences().
App	getApp() Returns the App containing this part.
String	getHelpId() Returns the online help ID of this component.
Icon	getIcon() Returns the icon of this component.
String	getId() Returns the ID this part within the App.
String	getLabel() Returns the label of this component.
void	initApp(App app, String id) Specifies the App containing this part and the unique ID of this part within the App.
boolean	isEditingContextSensitive() This method must return true if this part is intrinsically context sensitive and it must return false if this part is intrinsically not context sensitive.
void	namespacePrefixesChanged() Invoked after the namespace/prefix map has been modified for the active document.
void	saveStateChanged() Invoked after active document has been saved or, on the contrary, when its has been modified and thus needs to be saved.
void	setEnabled(boolean enable)
void	setHelpId(String helpId) Specifies the online help ID of this component.
void	setIcon(Icon icon) Specifies the icon of this component.
void	setLabel(String label) Specifies the label of this component.
void	undoStateChanged() Invoked after it becomes possible to undo or redo a command in active document or, on the contrary, when it becomes impossible to undo or redo a command.
void	validityStateChanged() Invoked after active document has been checked for validity.

Methods inherited from class javax.swing.JScrollPane

createHorizontalScrollBar, createVerticalScrollBar, createViewport, getAccessibleContext, getColumnHeader, getCorner, getHorizontalScrollBar, getHorizontalScrollBarPolicy, getRowHeader, getUI, getUIClassID, getVerticalScrollBar, getVerticalScrollBarPolicy, getViewport, getViewportBorder, getViewportBorderBounds, isValidateRoot, isWheelScrollingEnabled, paramString, setColumnHeader, setColumnHeaderView, setComponentOrientation, setCorner, setHorizontalScrollBar, setHorizontalScrollBarPolicy, setLayout, setRowHeader, setRowHeaderView, setUI, setVerticalScrollBar, setVerticalScrollBarPolicy, setViewport, setViewportBorder, setViewportView, setWheelScrollingEnabled, updateUI

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, transferFocusDownCycle, 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, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Constructor Detail

MathMLPane

public MathMLPane()

Method Detail

setLabel

public void setLabel(String label)

Description copied from interface: AppPane

Specifies the label of this component. This label is obtained from the declaration of this AppPane found in the .xxe_gui XML file of the App.

Specified by:

setLabel in interface AppPane

getLabel

public String getLabel()

Description copied from interface: AppPane

Returns the label of this component.

Specified by:

getLabel in interface AppPane

setIcon

public void setIcon(Icon icon)

Description copied from interface: AppPane

Specifies the icon of this component. This icon is obtained from the declaration of this AppPane found in the .xxe_gui XML file of the App.

Specified by:

setIcon in interface AppPane

getIcon

public Icon getIcon()

Description copied from interface: AppPane

Returns the icon of this component.

Specified by:

getIcon in interface AppPane

setHelpId

public void setHelpId(String helpId)

Description copied from interface: AppPane

Specifies the online help ID of this component.

This ID is almost always obtained from the declaration of this AppPane found in the .xxe_gui GUI specification file of the App.

Specified by:

setHelpId in interface AppPane

getHelpId

public String getHelpId()

Description copied from interface: AppPane

Returns the online help ID of this component.

Specified by:

getHelpId in interface AppPane

initApp

public void initApp(App app,
                    String id)

Description copied from interface: AppPart

Specifies the App containing this part and the unique ID of this part within the App. Invoked when the component is attached to the App.

Specified by:

initApp in interface AppPart

See Also:

AppPart.getApp(), AppPart.getId(), App.getPart(java.lang.String)

getApp

public App getApp()

Description copied from interface: AppPart

Returns the App containing this part.

Specified by:

getApp in interface AppPart

getId

public String getId()

Description copied from interface: AppPart

Returns the ID this part within the App.

Specified by:

getId in interface AppPart

See Also:

App.getPart(java.lang.String)

activeEditorChanged

public void activeEditorChanged()

Description copied from interface: AppPart

Invoked after the active editor has changed or when there is no active editor at all (generally because all documents have been closed).

Specified by:

activeEditorChanged in interface AppPart

See Also:

App.getActiveEditor()

isEditingContextSensitive

public boolean isEditingContextSensitive()

Description copied from interface: AppPart

This method must return true if this part is intrinsically context sensitive and it must return false if this part is intrinsically not context sensitive.

This method is invoked once: when the App registers this part (just before invoking AppPart.initApp(com.xmlmind.xmleditapp.desktop.App, java.lang.String)). Therefore, it is useless to sometimes return true and other times to return false.

Specified by:

isEditingContextSensitive in interface AppPart

See Also:

AppPart.editingContextChanged()

editingContextChanged

public void editingContextChanged()

Description copied from interface: AppPart

Invoked when the editing context (text node containing caret, node selection, etc) changes in active editor.

This method is never invoked if AppPart.isEditingContextSensitive() returned false when the App has registered this part (just before invoking AppPart.initApp(com.xmlmind.xmleditapp.desktop.App, java.lang.String)).

Specified by:

editingContextChanged in interface AppPart

See Also:

AppPart.isEditingContextSensitive(), App.getLastContextChangeReason(), App.getActiveEditor()

setEnabled

public void setEnabled(boolean enable)

Overrides:

setEnabled in class JComponent

applyPreferences

public void applyPreferences()

Description copied from interface: AppPart

If this part supports user preferences, this part should update its state after reading its settings from the object returned by AppBase.getPreferences().

Specified by:

applyPreferences in interface AppPart

See Also:

Preferences

flushPreferences

public void flushPreferences()

Description copied from interface: AppPart

If this part supports user preferences, this part should store its current settings in the object returned by AppBase.getPreferences().

Specified by:

flushPreferences in interface AppPart

See Also:

Preferences

validityStateChanged

public void validityStateChanged()

Description copied from interface: AppPart

Invoked after active document has been checked for validity.

Specified by:

validityStateChanged in interface AppPart

See Also:

App.getActiveOpenedDocument(), OpenedDocument.getDiagnostics(), OpenedDocument.getDiagnosticSeverity()

namespacePrefixesChanged

public void namespacePrefixesChanged()

Description copied from interface: AppPart

Invoked after the namespace/prefix map has been modified for the active document.

Specified by:

namespacePrefixesChanged in interface AppPart

See Also:

App.getActiveOpenedDocument()

saveStateChanged

public void saveStateChanged()

Description copied from interface: AppPart

Invoked after active document has been saved or, on the contrary, when its has been modified and thus needs to be saved.

Specified by:

saveStateChanged in interface AppPart

See Also:

App.getActiveOpenedDocument(), OpenedDocument.isSaveNeeded()

undoStateChanged

public void undoStateChanged()

Description copied from interface: AppPart

Invoked after it becomes possible to undo or redo a command in active document or, on the contrary, when it becomes impossible to undo or redo a command.

Specified by:

undoStateChanged in interface AppPart

See Also:

App.getActiveOpenedDocument()

destroyApp

public void destroyApp()

Description copied from interface: AppPart

Invoked when the component is detached from the App. Allows the component to perform some cleanup.

Specified by:

destroyApp in interface AppPart