|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.awt.Component
java.awt.Container
java.awt.Window
java.awt.Frame
javax.swing.JFrame
org.malai.widget.MFrame
org.malai.ui.UI
net.sf.latexdraw.ui.LFrame
public class LFrame
This class contains all the elements of the graphical user interface.
This file is part of LaTeXDraw
Copyright (c) 2005-2012 Arnaud BLOUIN
LaTeXDraw is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
LaTeXDraw is distributed without any warranty; without even the
implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
PURPOSE. See the GNU General Public License for more details.
03/11/08
Nested Class Summary |
---|
Nested classes/interfaces inherited from class javax.swing.JFrame |
---|
javax.swing.JFrame.AccessibleJFrame |
Nested classes/interfaces inherited from class java.awt.Frame |
---|
java.awt.Frame.AccessibleAWTFrame |
Nested classes/interfaces inherited from class java.awt.Window |
---|
java.awt.Window.AccessibleAWTWindow |
Nested classes/interfaces inherited from class java.awt.Container |
---|
java.awt.Container.AccessibleAWTContainer |
Nested classes/interfaces inherited from class java.awt.Component |
---|
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy |
Field Summary | |
---|---|
protected ShapeDeleter |
deleter
The instrument that removes shapes. |
protected DrawingPropertiesCustomiser |
drawingPropCustomiser
The instrument that customises the properties of the drawing. |
protected EditingSelector |
editingSelector
The instrument used to select/activate the hand, the pencil, or any of the editing instruments. |
protected ExceptionsManager |
exceptionsManager
The instrument allows to see exceptions. |
protected Exporter |
exporter
The instrument that exports drawings as picture or code. |
protected FileLoaderSaver |
fileLoader
The instrument that saves and loads SVG documents. |
protected MagneticGridCustomiser |
gridCustomiser
The instrument that customises the magnetic grid. |
protected Hand |
hand
The instrument used to select, move, etc. shapes. |
protected Helper |
helper
The instrument that manages help features. |
protected MLayeredPane |
layeredPanel
The layered panel used to display widgets upon shapes (e.g. text setters). |
protected MetaShapeCustomiser |
metaShapeCustomiser
This instrument manages the instruments that customise shapes and the pencil. |
protected CopierCutterPaster |
paster
The instrument that copies, cuts and pastes selected shapes. |
protected Pencil |
pencil
The instrument used to draw shapes. |
protected PreferencesActivator |
prefActivator
The instrument that activates the preferences setter. |
protected PreferencesSetter |
prefSetters
The instrument that sets the preferences. |
protected ScaleRulersCustomiser |
scaleRulersCustomiser
The instrument that (des-)activates the scale rulers. |
protected Scroller |
scroller
The scroller used to scroll the canvas. |
private static long |
serialVersionUID
|
protected javax.swing.JLabel |
statusBar
The status-bar of the frame. |
protected MTabbedPane |
tabbedPanel
|
protected TabSelector |
tabSelector
|
protected TextSetter |
textSetter
The instrument used to add and modify texts. |
protected UndoRedoManager |
undoManager
The instrument that manages undo/redo actions. |
protected XScaleRuler |
xScaleRuler
The ruler used to display X-dimensions. |
protected YScaleRuler |
yScaleRuler
The ruler used to display X-dimensions. |
protected Zoomer |
zoomer
The instrument that zoomes in/out the canvas. |
Fields inherited from class org.malai.ui.UI |
---|
composer, modified, presentations |
Fields inherited from class org.malai.widget.MFrame |
---|
eventManager |
Fields inherited from class javax.swing.JFrame |
---|
accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled |
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.Component |
---|
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT |
Fields inherited from interface javax.swing.WindowConstants |
---|
DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE |
Fields inherited from interface java.awt.image.ImageObserver |
---|
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH |
Constructor Summary | |
---|---|
LFrame(MProgressBar progressBar)
Creates and initialises the frame. |
Methods inherited from class org.malai.ui.UI |
---|
getComposer, getPresentation, getPresentations, isModified, setModified, updatePresentations |
Methods inherited from class org.malai.widget.MFrame |
---|
getEventManager, hasEventManager |
Methods inherited from class javax.swing.JFrame |
---|
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler, update |
Methods inherited from class java.awt.Frame |
---|
addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, 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, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOwnedWindows, getOwner, getOwnerlessWindows, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setVisible, show, toBack, toFront |
Methods inherited from class java.awt.Container |
---|
add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, transferFocusBackward, 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, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, 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, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isPreferredSizeSet, 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, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resize, resize, setBackground, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusUpCycle |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface java.awt.MenuContainer |
---|
getFont, postEvent |
Field Detail |
---|
private static final long serialVersionUID
protected Hand hand
protected Pencil pencil
protected TextSetter textSetter
protected EditingSelector editingSelector
protected MetaShapeCustomiser metaShapeCustomiser
protected UndoRedoManager undoManager
protected Zoomer zoomer
protected Scroller scroller
protected FileLoaderSaver fileLoader
protected ScaleRulersCustomiser scaleRulersCustomiser
protected Helper helper
protected Exporter exporter
protected ExceptionsManager exceptionsManager
protected PreferencesActivator prefActivator
protected PreferencesSetter prefSetters
protected ShapeDeleter deleter
protected javax.swing.JLabel statusBar
protected XScaleRuler xScaleRuler
protected YScaleRuler yScaleRuler
protected MagneticGridCustomiser gridCustomiser
protected DrawingPropertiesCustomiser drawingPropCustomiser
protected CopierCutterPaster paster
protected TabSelector tabSelector
protected MLayeredPane layeredPanel
protected MTabbedPane tabbedPanel
Constructor Detail |
---|
public LFrame(MProgressBar progressBar)
progressBar
- The progress bar used to show the progression of the construction of the frame. Can be null.Method Detail |
---|
private void buildFrame(MProgressBar progressBar)
private void instantiateInstruments(LCanvas canvas, IDrawing drawing)
public void reinit()
UI
reinit
in interface Reinitialisable
reinit
in class UI
public IDrawing getDrawing()
public LCanvas getCanvas()
public LCodePanel getCodePanel()
public void initialisePresentations()
UI
initialisePresentations
in class UI
public void save(boolean generalPreferences, java.lang.String nsURI, org.w3c.dom.Document document, org.w3c.dom.Element root)
Preferenciable
save
in interface Preferenciable
save
in class UI
generalPreferences
- True: this operation is called to save the general preferences of the interactive system.
Otherwise, it is called to save a presentation in a document. This parameter is useful when different information
must be saved during a presentation backup or a general preferences backup.nsURI
- The namespace that must be added to tags corresponding to the instrument's parameters.document
- The XML document.root
- The root element that will contains the instrument's parameters.public void load(boolean generalPreferences, java.lang.String nsURI, org.w3c.dom.Element meta)
Preferenciable
load
in interface Preferenciable
load
in class UI
generalPreferences
- True: this operation is called to load the general preferences of the interactive system.
Otherwise, it is called to load a presentation in a document. This parameter is useful when different information
must be loaded during a presentation backup or a general preferences backup.nsURI
- The namespace that must be added to tags corresponding to the instrument's parameters.meta
- The meta data element.public Instrument[] getInstruments()
getInstruments
in class UI
public FileLoaderSaver getFileLoader()
public Exporter getExporter()
public MagneticGridCustomiser getGridCustomiser()
public ScaleRulersCustomiser getScaleRulersCustomiser()
public PreferencesSetter getPrefSetters()
public final DrawingPropertiesCustomiser getDrawingPropCustomiser()
public MetaShapeCustomiser getMetaShapeCustomiser()
public Hand getHand()
public Pencil getPencil()
public TextSetter getTextSetter()
public EditingSelector getEditingSelector()
public UndoRedoManager getUndoManager()
public Zoomer getZoomer()
public ShapeDeleter getDeleter()
public CopierCutterPaster getPaster()
public MTabbedPane getTabbedPanel()
public javax.swing.JLabel getStatusBar()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |