com.partnersoft.workbench.gui

Class WorkbenchPage

java.lang.Object

com.partnersoft.workbench.gui.WorkbenchPage

public class WorkbenchPage
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
WorkbenchPage(WorkbenchApp workbench)

Method Summary

Methods

Modifier and Type	Method and Description
void	focusOnFindField()
WorkbenchEditor	getCurrentEditor()
javax.swing.JTabbedPane	getGui()
void	setSelectedLine(int line)
void	setSelectedNode(VfsNode node)

Methods inherited from class java.lang.Object

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

Constructor Detail

WorkbenchPage

public WorkbenchPage(WorkbenchApp workbench)

Method Detail

focusOnFindField

public void focusOnFindField()

getGui

public javax.swing.JTabbedPane getGui()

setSelectedNode

public void setSelectedNode(VfsNode node)

setSelectedLine

public void setSelectedLine(int line)

getCurrentEditor

public WorkbenchEditor getCurrentEditor()