public final class EditorView extends View
javax.swing.JPanel.AccessibleJPaneljavax.swing.JComponent.AccessibleJComponentguiaccessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW| Constructor and Description |
|---|
EditorView(ViewNotifier man)
Default constructor.
|
| Modifier and Type | Method and Description |
|---|---|
void |
close(org.basex.gui.view.editor.EditorArea edit)
Closes an editor.
|
boolean |
confirm()
Shows a quit dialog for all modified query files.
|
protected boolean |
db()
Tests if this view relies on a database instance.
|
void |
info(java.lang.String msg,
boolean ok)
Evaluates the info message resulting from a query execution.
|
void |
newFile()
Creates a new file.
|
void |
open()
Opens a new file.
|
org.basex.gui.view.editor.EditorArea |
open(IOFile file)
Opens the specified query file.
|
void |
refreshContext(boolean more,
boolean quick)
Called when a new context set has been chosen.
|
void |
refreshFocus()
Called when a new focus has been chosen.
|
void |
refreshInit()
Called when the data reference has changed.
|
void |
refreshLayout()
Called when GUI design has changed.
|
void |
refreshMark()
Called when a context set has been
marked.
|
void |
refreshUpdate()
Called when updates have been done in the data structure.
|
void |
reset()
Initializes the info message.
|
boolean |
save()
Saves the contents of the currently opened editor.
|
boolean |
saveable()
Checks if the current text can be saved.
|
boolean |
saveAs()
Saves the contents of the currently opened editor under a new name.
|
void |
start()
Starts a thread, which shows a waiting info after a short timeout.
|
boolean |
visible()
Tests if this view is currently visible.
|
void |
visible(boolean v)
Sets the visibility of the view.
|
keyPressed, mouseEntered, mouseExited, mousePressed, toStringcomponentHidden, componentMoved, componentResized, componentShown, keyReleased, keyTyped, mouseClicked, mouseDragged, mouseMoved, mouseReleased, mouseWheelMovedborder, border, layout, mode, paintComponent, smoothgetAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUIaddAncestorListener, 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, isValidateRoot, paint, paintBorder, paintChildren, 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, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, updateadd, 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, setLayout, transferFocusDownCycle, validate, validateTreeaction, 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, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, transferFocus, transferFocusBackward, transferFocusUpCyclepublic EditorView(ViewNotifier man)
man - view managerpublic void refreshInit()
ViewrefreshInit in class Viewpublic void refreshFocus()
ViewrefreshFocus in class Viewpublic void refreshMark()
ViewrefreshMark in class Viewpublic void refreshContext(boolean more,
boolean quick)
ViewrefreshContext in class Viewmore - show more detailsquick - perform a quick context switchpublic void refreshLayout()
ViewrefreshLayout in class Viewpublic void refreshUpdate()
ViewrefreshUpdate in class Viewpublic boolean visible()
Viewpublic void visible(boolean v)
Viewprotected boolean db()
Viewpublic void open()
public boolean save()
false if operation was canceledpublic boolean saveAs()
false if operation was canceledpublic void newFile()
public org.basex.gui.view.editor.EditorArea open(IOFile file)
file - query filepublic void close(org.basex.gui.view.editor.EditorArea edit)
edit - editor to be closed. null closes the currently
opened editor.
opened editor is to be closedpublic void reset()
public void start()
public void info(java.lang.String msg,
boolean ok)
msg - info messageok - true if query was successfulpublic boolean confirm()
false if confirmation was canceledpublic boolean saveable()
true
if the text has not been opened from disk, or if it has been modified.