|
Eclipse Platform Release 3.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
A view that displays consoles registered with the console manager.
Clients are not intended to implement this interface.
Field Summary |
Fields inherited from interface org.eclipse.ui.IWorkbenchPart |
PROP_TITLE |
Method Summary | |
void |
display(IConsole console)
Displays the page for the given console in this console view. |
IConsole |
getConsole()
Returns the console currently being displayed, or null
if none |
boolean |
isPinned()
Returns whether this console view is currently pinned to a specific console. |
void |
pin(IConsole console)
Displays and pins the given console in this console view. |
void |
warnOfContentChange(IConsole console)
Warns that the content of the given console has changed. |
Methods inherited from interface org.eclipse.ui.IViewPart |
getViewSite, init, init, saveState |
Methods inherited from interface org.eclipse.ui.IWorkbenchPart |
addPropertyListener, createPartControl, dispose, getSite, getTitle, getTitleImage, getTitleToolTip, removePropertyListener, setFocus |
Methods inherited from interface org.eclipse.core.runtime.IAdaptable |
getAdapter |
Method Detail |
public void display(IConsole console)
console
- console to display, cannot be null
public void pin(IConsole console)
null
un-pins this console
console
- console to pin, or null
to un-pinpublic boolean isPinned()
public IConsole getConsole()
null
if none
null
if nonepublic void warnOfContentChange(IConsole console)
console
- the console that has changed
|
Eclipse Platform Release 3.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Guidelines for using Eclipse APIs.
Copyright (c) IBM Corp. and others 2000, 2004. All rights reserved.