Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep
Overview  Package   Class  Use  Deprecated  Index 
Home >> All >> org >> gjt >> sp >> [ jedit overview ]  PREV CLASS  NEXT CLASS
SUMMARY: JavaDoc of org.gjt.sp.jedit.View JAVADOC | Sourc code of org.gjt.sp.jedit.View SOURCE | Download org.gjt.sp.jedit.View DOWNLOAD | NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.gjt.sp.jedit
Class View  view View download View.java

java.lang.Object
  extended byjava.awt.Component
      extended byjava.awt.Container
          extended byjava.awt.Window
              extended byjava.awt.Frame
                  extended byjavax.swing.JFrame
                      extended byorg.gjt.sp.jedit.View
All Implemented Interfaces:
javax.accessibility.Accessible, EBComponent, java.awt.image.ImageObserver, java.awt.MenuContainer, javax.swing.RootPaneContainer, java.io.Serializable, javax.swing.WindowConstants
public class View
extends javax.swing.JFrame
implements EBComponent

A View is jEdit's top-level frame window.

In a BeanShell script, you can obtain the current view instance from the view variable.

The largest component it contains is an EditPane that in turn contains a org.gjt.sp.jedit.textarea.JEditTextArea that displays a Buffer. A view can have more than one edit pane in a split window configuration. A view also contains a menu bar, an optional toolbar and other window decorations, as well as docked windows.

The View class performs two important operations dealing with plugins: creating plugin menu items, and managing dockable windows.

This class does not have a public constructor. Views can be opened and closed using methods in the jEdit class.

Version:
$Id: View.java,v 1.107 2003/11/18 22:31:48 spestov Exp $

Nested Class Summary
(package private)  class View.CaretHandler
           
(package private)  class View.FocusHandler
           
(package private)  class View.ScrollHandler
           
static class View.ViewConfig
           
(package private)  class View.WindowHandler
           
 
Nested classes inherited from class javax.swing.JFrame
javax.swing.JFrame.AccessibleJFrame
 
Nested classes inherited from class java.awt.Frame
java.awt.Frame.AccessibleAWTFrame
 
Nested classes inherited from class java.awt.Window
java.awt.Window.AccessibleAWTWindow
 
Nested classes inherited from class java.awt.Container
java.awt.Container.AccessibleAWTContainer
 
Nested classes inherited from class java.awt.Component
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy
 
Field Summary
static int ABOVE_ACTION_BAR_LAYER
          Deprecated. Status bar no longer added as a tool bar.
static int ABOVE_SYSTEM_BAR_LAYER
          Above system tool bar layer.
static int ACTION_BAR
           
static int ACTION_BAR_LAYER
          Action bar layer.
private  org.gjt.sp.jedit.gui.ActionBar actionBar
           
static int BELOW_SEARCH_BAR_LAYER
          Below search bar layer.
static int BELOW_STATUS_BAR_LAYER
          Status bar layer.
static int BELOW_SYSTEM_BAR_LAYER
          Below system tool bar layer.
static int BOTTOM_GROUP
          The group of tool bars below the DockableWindowManager
static int BOTTOM_LAYER
          The lowest possible layer.
private  javax.swing.JPanel bottomToolBars
           
private  boolean closed
           
static int DEFAULT_GROUP
           
static int DEFAULT_LAYER
          The default layer for tool bars with no preference.
private  org.gjt.sp.jedit.gui.DockableWindowManager dockableWindowManager
           
private  EditPane editPane
           
private  org.gjt.sp.jedit.textarea.InputHandler inputHandler
           
private  java.awt.event.KeyListener keyEventInterceptor
           
(package private)  View next
           
private  boolean plainView
           
private  java.awt.Component prefixFocusOwner
           
(package private)  View prev
           
private  Macros.Recorder recorder
           
static int SEARCH_BAR_LAYER
          Search bar layer.
private  org.gjt.sp.jedit.search.SearchBar searchBar
           
private  boolean showFullPath
           
private  javax.swing.JSplitPane splitPane
           
private  org.gjt.sp.jedit.gui.StatusBar status
           
static int STATUS_BAR_LAYER
          Status bar layer.
static int SYSTEM_BAR_LAYER
          System tool bar layer.
static int TEXT_AREA
           
private  javax.swing.Box toolBar
           
private  org.gjt.sp.jedit.gui.ToolBarManager toolBarManager
           
static int TOP_GROUP
          The group of tool bars above the DockableWindowManager
static int TOP_LAYER
          The highest possible layer.
private  javax.swing.JPanel topToolBars
           
static int VIEW
           
private  int waitCount
           
private  java.net.Socket waitSocket
           
 
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.Window
 
Fields inherited from class java.awt.Container
 
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
(package private) View(Buffer buffer, View.ViewConfig config)
           
 
Method Summary
private  java.awt.event.KeyEvent _preprocessKeyEvent(java.awt.event.KeyEvent evt)
           
 void actionBar()
          Shows the action bar if needed, and sends keyboard focus there.
 void addToolBar(java.awt.Component toolBar)
          Adds a tool bar to this view.
 void addToolBar(int group, java.awt.Component toolBar)
          Adds a tool bar to this view.
 void addToolBar(int group, int layer, java.awt.Component toolBar)
          Adds a tool bar to this view.
(package private)  void close()
           
private  EditPane createEditPane(Buffer buffer)
           
 org.gjt.sp.jedit.gui.ActionBar getActionBar()
          Returns the action bar.
 Buffer getBuffer()
          Returns the current edit pane's buffer.
 org.gjt.sp.jedit.gui.DockableWindowManager getDockableWindowManager()
          Returns the dockable window manager associated with this view.
 EditPane getEditPane()
          Returns the current edit pane.
 EditPane[] getEditPanes()
          Returns all edit panes.
private  void getEditPanes(java.util.Vector vec, java.awt.Component comp)
           
 org.gjt.sp.jedit.textarea.InputHandler getInputHandler()
          Returns the input handler.
 java.awt.event.KeyListener getKeyEventInterceptor()
          Returns the listener that will handle all key events in this view, if any.
 Macros.Recorder getMacroRecorder()
          Returns the macro recorder.
 java.awt.Dimension getMinimumSize()
          Returns the minimum size of this container.
 View getNext()
          Returns the next view in the list.
 View getPrev()
          Returns the previous view in the list.
 org.gjt.sp.jedit.search.SearchBar getSearchBar()
          Returns the search bar.
private  void getSplitConfig(javax.swing.JSplitPane splitPane, java.lang.StringBuffer splitConfig)
           
 javax.swing.JSplitPane getSplitPane()
          Returns the top-level split pane, if any.
 org.gjt.sp.jedit.gui.StatusBar getStatus()
          Returns the status bar.
 org.gjt.sp.jedit.textarea.JEditTextArea getTextArea()
          Returns the current edit pane's text area.
 javax.swing.Box getToolBar()
          Returns the view's tool bar.
 View.ViewConfig getViewConfig()
           
 EditPane goToBuffer(Buffer buffer)
          If this buffer is open in one of the view's edit panes, sets focus to that edit pane.
private  void handleBufferUpdate(org.gjt.sp.jedit.msg.BufferUpdate msg)
           
private  void handleEditPaneUpdate(org.gjt.sp.jedit.msg.EditPaneUpdate msg)
           
 void handleMessage(EBMessage msg)
          Handles a message sent on the EditBus.
 void hideWaitCursor()
          Hides the wait cursor.
 boolean isClosed()
          Returns true if this view has been closed with jEdit.closeView(View) 55 .
 boolean isPlainView()
          Returns true if this is an auxilliary view with no dockable windows.
private  void loadToolBars()
           
 void nextTextArea()
          Moves keyboard focus to the next text area.
 void prevTextArea()
          Moves keyboard focus to the previous text area.
 void processKeyEvent(java.awt.event.KeyEvent evt)
          Forwards key events directly to the input handler.
 void processKeyEvent(java.awt.event.KeyEvent evt, boolean calledFromTextArea)
          Forwards key events directly to the input handler.
 void processKeyEvent(java.awt.event.KeyEvent evt, int from)
          Forwards key events directly to the input handler.
private  void propertiesChanged()
          Reloads various settings from the properties.
 void quickHyperSearch(boolean word)
          Quick HyperSearch.
 void quickIncrementalSearch(boolean word)
          Quick search.
 void removeToolBar(java.awt.Component toolBar)
          Removes a tool bar from this view.
private  java.awt.Component restoreSplitConfig(Buffer buffer, java.lang.String splitConfig)
           
 void setBuffer(Buffer buffer)
          Sets the current edit pane's buffer.
private  void setEditPane(EditPane editPane)
           
 void setInputHandler(org.gjt.sp.jedit.textarea.InputHandler inputHandler)
          Sets the input handler.
 void setKeyEventInterceptor(java.awt.event.KeyListener listener)
          Sets the listener that will handle all key events in this view.
 void setMacroRecorder(Macros.Recorder recorder)
          Sets the macro recorder.
 void setWaitSocket(java.net.Socket waitSocket)
          This socket is closed when the buffer is closed.
 void showWaitCursor()
          Shows the wait cursor.
 EditPane split(int orientation)
          Splits the view.
 EditPane splitHorizontally()
          Splits the view horizontally.
 EditPane splitVertically()
          Splits the view vertically.
 java.lang.String toString()
          Returns a string representation of this component.
 void unsplit()
          Unsplits the view.
 void unsplitCurrent()
          Removes the current split.
private  void updateGutterBorders()
          Updates the borders of all gutters in this view to reflect the currently focused text area.
(package private)  void updateTitle()
          Updates the title bar.
 
Methods inherited from class javax.swing.JFrame
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getPreferredSize, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update
 
Methods inherited from class java.awt.Frame
addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setIconImage, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated
 
Methods inherited from class java.awt.Window
addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getGraphicsConfiguration, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, hide, isActive, isFocusableWindow, isFocusCycleRoot, isFocused, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationRelativeTo, show, toBack, toFront
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFont, 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, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, 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, isOpaque, 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, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, size, transferFocus, transferFocusBackward, 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

TOP_GROUP

public static final int TOP_GROUP
The group of tool bars above the DockableWindowManager

Since:
jEdit 4.0pre7
See Also:
addToolBar(int,int,java.awt.Component) 55 , Constant Field Values

BOTTOM_GROUP

public static final int BOTTOM_GROUP
The group of tool bars below the DockableWindowManager

Since:
jEdit 4.0pre7
See Also:
addToolBar(int,int,java.awt.Component) 55 , Constant Field Values

DEFAULT_GROUP

public static final int DEFAULT_GROUP
See Also:
Constant Field Values

TOP_LAYER

public static final int TOP_LAYER
The highest possible layer.

Since:
jEdit 4.0pre7
See Also:
addToolBar(int,int,java.awt.Component) 55 , Constant Field Values

DEFAULT_LAYER

public static final int DEFAULT_LAYER
The default layer for tool bars with no preference.

Since:
jEdit 4.0pre7
See Also:
addToolBar(int,int,java.awt.Component) 55 , Constant Field Values

BOTTOM_LAYER

public static final int BOTTOM_LAYER
The lowest possible layer.

Since:
jEdit 4.0pre7
See Also:
addToolBar(int,int,java.awt.Component) 55 , Constant Field Values

ABOVE_SYSTEM_BAR_LAYER

public static final int ABOVE_SYSTEM_BAR_LAYER
Above system tool bar layer.

Since:
jEdit 4.0pre7
See Also:
addToolBar(int,int,java.awt.Component) 55 , Constant Field Values

SYSTEM_BAR_LAYER

public static final int SYSTEM_BAR_LAYER
System tool bar layer. jEdit uses this for the main tool bar.

Since:
jEdit 4.0pre7
See Also:
addToolBar(int,int,java.awt.Component) 55 , Constant Field Values

BELOW_SYSTEM_BAR_LAYER

public static final int BELOW_SYSTEM_BAR_LAYER
Below system tool bar layer.

Since:
jEdit 4.0pre7
See Also:
addToolBar(int,int,java.awt.Component) 55 , Constant Field Values

SEARCH_BAR_LAYER

public static final int SEARCH_BAR_LAYER
Search bar layer.

Since:
jEdit 4.0pre7
See Also:
addToolBar(int,int,java.awt.Component) 55 , Constant Field Values

BELOW_SEARCH_BAR_LAYER

public static final int BELOW_SEARCH_BAR_LAYER
Below search bar layer.

Since:
jEdit 4.0pre7
See Also:
addToolBar(int,int,java.awt.Component) 55 , Constant Field Values

ABOVE_ACTION_BAR_LAYER

public static final int ABOVE_ACTION_BAR_LAYER
Deprecated. Status bar no longer added as a tool bar.

See Also:
Constant Field Values

ACTION_BAR_LAYER

public static final int ACTION_BAR_LAYER
Action bar layer.

Since:
jEdit 4.2pre1
See Also:
addToolBar(int,int,java.awt.Component) 55 , Constant Field Values

STATUS_BAR_LAYER

public static final int STATUS_BAR_LAYER
Status bar layer.

Since:
jEdit 4.2pre1
See Also:
addToolBar(int,int,java.awt.Component) 55 , Constant Field Values

BELOW_STATUS_BAR_LAYER

public static final int BELOW_STATUS_BAR_LAYER
Status bar layer.

Since:
jEdit 4.2pre1
See Also:
addToolBar(int,int,java.awt.Component) 55 , Constant Field Values

VIEW

public static final int VIEW
See Also:
Constant Field Values

TEXT_AREA

public static final int TEXT_AREA
See Also:
Constant Field Values

ACTION_BAR

public static final int ACTION_BAR
See Also:
Constant Field Values

prev

View prev

next

View next

closed

private boolean closed

dockableWindowManager

private org.gjt.sp.jedit.gui.DockableWindowManager dockableWindowManager

topToolBars

private javax.swing.JPanel topToolBars

bottomToolBars

private javax.swing.JPanel bottomToolBars

toolBarManager

private org.gjt.sp.jedit.gui.ToolBarManager toolBarManager

toolBar

private javax.swing.Box toolBar

searchBar

private org.gjt.sp.jedit.search.SearchBar searchBar

actionBar

private org.gjt.sp.jedit.gui.ActionBar actionBar

editPane

private EditPane editPane

splitPane

private javax.swing.JSplitPane splitPane

status

private org.gjt.sp.jedit.gui.StatusBar status

keyEventInterceptor

private java.awt.event.KeyListener keyEventInterceptor

inputHandler

private org.gjt.sp.jedit.textarea.InputHandler inputHandler

recorder

private Macros.Recorder recorder

prefixFocusOwner

private java.awt.Component prefixFocusOwner

waitCount

private int waitCount

showFullPath

private boolean showFullPath

plainView

private boolean plainView

waitSocket

private java.net.Socket waitSocket
Constructor Detail

View

View(Buffer buffer,
     View.ViewConfig config)
Method Detail

getDockableWindowManager

public org.gjt.sp.jedit.gui.DockableWindowManager getDockableWindowManager()
Returns the dockable window manager associated with this view.

Since:
jEdit 2.6pre3

getToolBar

public javax.swing.Box getToolBar()
Returns the view's tool bar.

Since:
jEdit 4.2pre1

addToolBar

public void addToolBar(java.awt.Component toolBar)
Adds a tool bar to this view.

addToolBar

public void addToolBar(int group,
                       java.awt.Component toolBar)
Adds a tool bar to this view.

Since:
jEdit 4.0pre7

addToolBar

public void addToolBar(int group,
                       int layer,
                       java.awt.Component toolBar)
Adds a tool bar to this view.

Since:
jEdit 4.0pre7

removeToolBar

public void removeToolBar(java.awt.Component toolBar)
Removes a tool bar from this view.

showWaitCursor

public void showWaitCursor()
Shows the wait cursor. This method and hideWaitCursor() 55 are implemented using a reference count of requests for wait cursors, so that nested calls work correctly; however, you should be careful to use these methods in tandem.

To ensure that hideWaitCursor() 55 is always called after a showWaitCursor() 55 , use a try/finally block, like this: 

try
{
    view.showWaitCursor();
    // ...
}
finally
{
    view.hideWaitCursor();
}

hideWaitCursor

public void hideWaitCursor()
Hides the wait cursor.

getSearchBar

public final org.gjt.sp.jedit.search.SearchBar getSearchBar()
Returns the search bar.

Since:
jEdit 2.4pre4

getActionBar

public final org.gjt.sp.jedit.gui.ActionBar getActionBar()
Returns the action bar.

Since:
jEdit 4.2pre3

getStatus

public org.gjt.sp.jedit.gui.StatusBar getStatus()
Returns the status bar. The StatusBar.setMessage(String)>StatusBar.setMessage(String) 55 and StatusBar.setMessageAndClear(String)>StatusBar.setMessageAndClear(String) 55 methods can be called on the return value of this method to display status information to the user.

Since:
jEdit 3.2pre2

quickIncrementalSearch

public void quickIncrementalSearch(boolean word)
Quick search.

Since:
jEdit 4.0pre3

quickHyperSearch

public void quickHyperSearch(boolean word)
Quick HyperSearch.

Since:
jEdit 4.0pre3

actionBar

public void actionBar()
Shows the action bar if needed, and sends keyboard focus there.

Since:
jEdit 4.2pre1

getKeyEventInterceptor

public java.awt.event.KeyListener getKeyEventInterceptor()
Returns the listener that will handle all key events in this view, if any.

setKeyEventInterceptor

public void setKeyEventInterceptor(java.awt.event.KeyListener listener)
Sets the listener that will handle all key events in this view. For example, the complete word command uses this so that all key events are passed to the word list popup while it is visible.

getInputHandler

public org.gjt.sp.jedit.textarea.InputHandler getInputHandler()
Returns the input handler.

setInputHandler

public void setInputHandler(org.gjt.sp.jedit.textarea.InputHandler inputHandler)
Sets the input handler.

getMacroRecorder

public Macros.Recorder getMacroRecorder()
Returns the macro recorder.

setMacroRecorder

public void setMacroRecorder(Macros.Recorder recorder)
Sets the macro recorder.

processKeyEvent

public void processKeyEvent(java.awt.event.KeyEvent evt)
Forwards key events directly to the input handler. This is slightly faster than using a KeyListener because some Swing overhead is avoided.

processKeyEvent

public void processKeyEvent(java.awt.event.KeyEvent evt,
                            boolean calledFromTextArea)
Forwards key events directly to the input handler. This is slightly faster than using a KeyListener because some Swing overhead is avoided.

processKeyEvent

public void processKeyEvent(java.awt.event.KeyEvent evt,
                            int from)
Forwards key events directly to the input handler. This is slightly faster than using a KeyListener because some Swing overhead is avoided.

splitHorizontally

public EditPane splitHorizontally()
Splits the view horizontally.

Since:
jEdit 4.1pre2

splitVertically

public EditPane splitVertically()
Splits the view vertically.

Since:
jEdit 4.1pre2

split

public EditPane split(int orientation)
Splits the view.

Since:
jEdit 4.1pre2

unsplit

public void unsplit()
Unsplits the view.

Since:
jEdit 2.3pre2

unsplitCurrent

public void unsplitCurrent()
Removes the current split.

Since:
jEdit 2.3pre2

nextTextArea

public void nextTextArea()
Moves keyboard focus to the next text area.

Since:
jEdit 2.7pre4

prevTextArea

public void prevTextArea()
Moves keyboard focus to the previous text area.

Since:
jEdit 2.7pre4

getSplitPane

public javax.swing.JSplitPane getSplitPane()
Returns the top-level split pane, if any.

Since:
jEdit 2.3pre2

getBuffer

public Buffer getBuffer()
Returns the current edit pane's buffer.

setBuffer

public void setBuffer(Buffer buffer)
Sets the current edit pane's buffer.

goToBuffer

public EditPane goToBuffer(Buffer buffer)
If this buffer is open in one of the view's edit panes, sets focus to that edit pane. Otherwise, opens the buffer in the currently active edit pane.

Since:
jEdit 4.2pre1

getTextArea

public org.gjt.sp.jedit.textarea.JEditTextArea getTextArea()
Returns the current edit pane's text area.

getEditPane

public EditPane getEditPane()
Returns the current edit pane.

Since:
jEdit 2.5pre2

getEditPanes

public EditPane[] getEditPanes()
Returns all edit panes.

Since:
jEdit 2.5pre2

getViewConfig

public View.ViewConfig getViewConfig()
Since:
jEdit 4.2pre1

isClosed

public boolean isClosed()
Returns true if this view has been closed with jEdit.closeView(View) 55 .

isPlainView

public boolean isPlainView()
Returns true if this is an auxilliary view with no dockable windows.

Since:
jEdit 4.1pre2

getNext

public View getNext()
Returns the next view in the list.

getPrev

public View getPrev()
Returns the previous view in the list.

handleMessage

public void handleMessage(EBMessage msg)
Description copied from interface: EBComponent
Handles a message sent on the EditBus. This method must specify the type of responses the plugin will have for various subclasses of the EBMessage class. Typically this is done with one or more if blocks that test whether the message is an instance of a derived message class in which the component has an interest. For example: 
 if(msg instanceof BufferUpdate) {
     // a buffer's state has changed!
 }
 else if(msg instanceof ViewUpdate) {
     // a view's state has changed!
 }
 // ... and so on

Specified by:
handleMessage in interface EBComponent

getMinimumSize

public java.awt.Dimension getMinimumSize()
Description copied from class: java.awt.Container
Returns the minimum size of this container.

setWaitSocket

public void setWaitSocket(java.net.Socket waitSocket)
This socket is closed when the buffer is closed.

toString

public java.lang.String toString()
Description copied from class: java.awt.Component
Returns a string representation of this component. This is implemented as getClass().getName() + '[' + paramString() + ']'.

close

void close()

updateTitle

void updateTitle()
Updates the title bar.

getEditPanes

private void getEditPanes(java.util.Vector vec,
                          java.awt.Component comp)

getSplitConfig

private void getSplitConfig(javax.swing.JSplitPane splitPane,
                            java.lang.StringBuffer splitConfig)

restoreSplitConfig

private java.awt.Component restoreSplitConfig(Buffer buffer,
                                              java.lang.String splitConfig)
                                       throws java.io.IOException

propertiesChanged

private void propertiesChanged()
Reloads various settings from the properties.

loadToolBars

private void loadToolBars()

createEditPane

private EditPane createEditPane(Buffer buffer)

setEditPane

private void setEditPane(EditPane editPane)

handleBufferUpdate

private void handleBufferUpdate(org.gjt.sp.jedit.msg.BufferUpdate msg)

handleEditPaneUpdate

private void handleEditPaneUpdate(org.gjt.sp.jedit.msg.EditPaneUpdate msg)

updateGutterBorders

private void updateGutterBorders()
Updates the borders of all gutters in this view to reflect the currently focused text area.

Since:
jEdit 2.6final

_preprocessKeyEvent

private java.awt.event.KeyEvent _preprocessKeyEvent(java.awt.event.KeyEvent evt)
Overview  Package   Class  Use  Deprecated  Index 
Home >> All >> org >> gjt >> sp >> [ jedit overview ]  PREV CLASS  NEXT CLASS
SUMMARY: JavaDoc of org.gjt.sp.jedit.View JAVADOC | Sourc code of org.gjt.sp.jedit.View SOURCE | Download org.gjt.sp.jedit.View DOWNLOAD | NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD