|
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 nullpublic 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.