public final class EditorView extends View
JPanel.AccessibleJPanel
JComponent.AccessibleJComponent
Container.AccessibleAWTContainer
Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy
Modifier and Type | Field and Description |
---|---|
GUICode |
posCode
Code for setting cursor position.
|
gui
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
Constructor and Description |
---|
EditorView(ViewNotifier man)
Default constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
close(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.
|
boolean |
delete(IOFile file)
Deletes a file.
|
void |
findFiles()
Focuses the project view.
|
EditorArea |
getEditor()
Returns the current editor.
|
void |
info(Throwable th,
boolean stopped,
boolean refresh)
Processes the result from a command or query execution.
|
void |
init(ArrayList<IOFile> files)
Opens the previously opened and new files.
|
void |
jump(String link)
Jumps to the specified file and position.
|
void |
jumpToError()
Jumps to the current error.
|
void |
jumpToFile()
Focuses the currently edited file in the project view.
|
void |
newFile()
Creates a new file.
|
void |
open()
Opens a new file.
|
EditorArea |
open(IOFile file)
Opens and parses the specified query file.
|
void |
project()
Toggles the project view.
|
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 |
rename(IOFile old,
IOFile renamed)
Updates the references to renamed files.
|
boolean |
save()
Saves the contents of the currently opened editor.
|
boolean |
saveAs()
Saves the contents of the currently opened editor under a new name.
|
void |
showProject()
Shows or hides the project view.
|
void |
start()
Starts a thread, which shows a waiting info after a short timeout.
|
void |
tab(boolean next)
Switches the current editor tab.
|
boolean |
visible()
Tests if this view is currently marked as visible.
|
void |
visible(boolean v)
Sets a flag denoting the visibility of the view.
|
keyPressed, mouseEntered, mouseExited, mousePressed, toString
componentHidden, componentMoved, componentResized, componentShown, keyReleased, keyTyped, mouseClicked, mouseDragged, mouseMoved, mouseReleased, mouseWheelMoved
border, border, layout, paintComponent
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
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, 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, update
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, setLayout, transferFocusDownCycle, validate, validateTree
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, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, transferFocus, transferFocusBackward, transferFocusUpCycle
public final GUICode posCode
public EditorView(ViewNotifier man)
man
- view managerpublic void refreshInit()
View
refreshInit
in class View
public void refreshFocus()
View
refreshFocus
in class View
public void refreshMark()
View
refreshMark
in class View
public void refreshContext(boolean more, boolean quick)
View
refreshContext
in class View
more
- show more detailsquick
- perform a quick context switchpublic void refreshLayout()
View
refreshLayout
in class View
public void refreshUpdate()
View
refreshUpdate
in class View
public boolean visible()
View
public void visible(boolean v)
View
protected boolean db()
View
public void showProject()
public void project()
public void findFiles()
public void jumpToFile()
public void tab(boolean next)
next
- next next/previous tabpublic void init(ArrayList<IOFile> files)
files
- files to be openedpublic void open()
public boolean save()
false
if operation was canceledpublic boolean saveAs()
false
if operation was canceledpublic void newFile()
public boolean delete(IOFile file)
file
- file to be deletedpublic EditorArea open(IOFile file)
file
- query filenull
if file could not be openedpublic boolean close(EditorArea edit)
edit
- editor to be closed. null
closes the currently opened editor.true
if editor was closedpublic void start()
public void info(Throwable th, boolean stopped, boolean refresh)
th
- exception or null
stopped
- true
if evaluation was interruptedrefresh
- refresh buttonspublic void jumpToError()
public void jump(String link)
link
- linkpublic boolean confirm()
public EditorArea getEditor()
Copyright © 2005–2015 BaseX Team. All rights reserved.