|
Eclipse Platform Release 3.3 |
|||||||||||
| 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 |
getScrollLock()
Returns the scroll lock state of the currently active console. |
boolean |
isPinned()
Returns whether this console view is currently pinned to a specific console. |
void |
pin(IConsole console)
Deprecated. rather than pinning a specific console, a console view is pinned - use setPinned(boolean) |
void |
setPinned(boolean pin)
Pins this console view. |
void |
setScrollLock(boolean scrollLock)
Sets the scroll lock state of the currently active console. |
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 setPinned(boolean pin)
pin - true to pin the current console to the
top of the stack, false otherwisepublic void pin(IConsole console)
setPinned(boolean)
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 changedpublic void setScrollLock(boolean scrollLock)
scrollLock - true to turn scroll lock on, otherwise falsepublic boolean getScrollLock()
true if scroll lock is on, false otherwise
|
Eclipse Platform Release 3.3 |
|||||||||||
| 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, 2007. All rights reserved.