org.jpop.jedit
Class JeditPoplogDocBrowser

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JPanel
                  org.jpop.gui.PoplogDocBrowser
                      org.jpop.jedit.JeditPoplogDocBrowser

All Implemented Interfaces:

javax.accessibility.Accessible, org.gjt.sp.jedit.EBComponent, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable

public class JeditPoplogDocBrowser

extends PoplogDocBrowser

implements org.gjt.sp.jedit.EBComponent

Doc browser modified to be integrated fully into jedit

Author:

ug57dsm

See Also:

Serialized Form

Nested Class Summary

Nested classes inherited from class javax.swing.JPanel

javax.swing.JPanel.AccessibleJPanel

Nested classes inherited from class javax.swing.JComponent

javax.swing.JComponent.AccessibleJComponent

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 java.lang.String	CACHE_DIR The directory where cached stuff goes (overriden in properties)
static int	DEFAULT_PORT The default port the server should listen to (overriden in properties)
static java.lang.String	DEFAULT_SERVER Name of default server (overriden in properties)
static java.lang.String	PROPERTY_PREFIX The prefix of every property

Fields inherited from class javax.swing.JComponent

accessibleContext, 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

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

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

Constructor Summary

JeditPoplogDocBrowser(org.gjt.sp.jedit.View v)
Constructor for the JeditPoplogDocBrowser object

JeditPoplogDocBrowser(org.gjt.sp.jedit.View v, boolean startServer)
Constructor for the JeditPoplogDocBrowser object

Method Summary

void	addTab(java.lang.String name, java.io.BufferedReader document) Adds a tab to the object.
void	handleMessage(org.gjt.sp.jedit.EBMessage msg) Handles messages from the edit bus.
static JeditPoplogDocBrowser	makeDocBrowser(org.gjt.sp.jedit.View v, boolean startServer) Creates a new JeditPoplogDocBrowser object.
protected void	makeSplitPane() overriden to get rid of split pane as its no longer needed.

Methods inherited from class org.jpop.gui.PoplogDocBrowser

addWindowListener, close, closeButtonClicked, commandButtonActionPerformed, debug, displayException, docAreaKeyTyped, getCacheDir, getHelp, getInfo, getLicense, getPort, getServerName, getVersion, goToHistoryDown, goToHistoryEnd, goToHistoryStart, goToHistoryUp, main, rootsTreeKeyTyped, rootsTreeMouseDoubleClicked, setCommandFieldText, setList, setStatusText, setVisible, treeSelectionMade

Methods inherited from class javax.swing.JPanel

getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI

Methods inherited from class javax.swing.JComponent

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

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setFocusCycleRoot, setFocusTraversalKeys, setFocusTraversalPolicy, setLayout, 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, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, 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, processMouseEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Field Detail

CACHE_DIR

public static final java.lang.String CACHE_DIR

The directory where cached stuff goes (overriden in properties)

DEFAULT_PORT

public static final int DEFAULT_PORT

The default port the server should listen to (overriden in properties)

See Also:

Constant Field Values

DEFAULT_SERVER

public static final java.lang.String DEFAULT_SERVER

Name of default server (overriden in properties)

See Also:

Constant Field Values

PROPERTY_PREFIX

public static java.lang.String PROPERTY_PREFIX

The prefix of every property

Constructor Detail

JeditPoplogDocBrowser

public JeditPoplogDocBrowser(org.gjt.sp.jedit.View v)

Constructor for the JeditPoplogDocBrowser object

Parameters:

v - The view

JeditPoplogDocBrowser

public JeditPoplogDocBrowser(org.gjt.sp.jedit.View v,
                             boolean startServer)

Constructor for the JeditPoplogDocBrowser object

Parameters:

v - The view

startServer - used solely to differentiate this from the above constructor. If the argument is given than the server will be started.

Method Detail

makeDocBrowser

public static JeditPoplogDocBrowser makeDocBrowser(org.gjt.sp.jedit.View v,
                                                   boolean startServer)

Creates a new JeditPoplogDocBrowser object. For use whithin dockables.xml

Parameters:

v - The jEdit view

startServer - true when the browser should start a server

Returns:

a new JeditPoplogDocBrowser

handleMessage

public void handleMessage(org.gjt.sp.jedit.EBMessage msg)

Handles messages from the edit bus. Non used here ... yet

Specified by:

handleMessage in interface org.gjt.sp.jedit.EBComponent

Parameters:

msg - The message from the edit bus

addTab

public void addTab(java.lang.String name,
                   java.io.BufferedReader document)

Adds a tab to the object. This is overriden from PoplogDocBrowser so that a new Buffer is displayed instead of a tab.

Overrides:

addTab in class PoplogDocBrowser

Parameters:

name - the name of the document

document - The document to be added to the tabs

makeSplitPane

protected void makeSplitPane()

overriden to get rid of split pane as its no longer needed. The documents get sent to buffers

Overrides:

makeSplitPane in class PoplogDocBrowser