| Constructor and Description |
|---|
DivLogger()
Default constructor.
|
| Modifier and Type | Method and Description |
|---|---|
void |
clear()
Clear the output, if possible.
|
com.google.gwt.user.client.ui.Widget |
getWidget() |
boolean |
isSupported()
Determine whether this logger is supported in the current configuration and environment.
|
boolean |
isVisible() |
void |
log(LogRecord record)
Log an event.
|
void |
moveTo(int x,
int y) |
void |
setCurrentLogLevel(int level)
Set the current runtime log level.
|
void |
setPixelSize(int width,
int height)
Set explicit size of log scroll panel area.
|
void |
setSize(java.lang.String width,
java.lang.String height)
Set explicit size of log scroll panel area.
|
public final void clear()
Loggerpublic final com.google.gwt.user.client.ui.Widget getWidget()
public final boolean isSupported()
LoggerisSupported in interface Loggerpublic final boolean isVisible()
public final void moveTo(int x,
int y)
public void setCurrentLogLevel(int level)
LoggersetCurrentLogLevel in interface Loggerlevel - new runtime log level.public final void setPixelSize(int width,
int height)
width - width in pixelsheight - height in pixelspublic final void setSize(java.lang.String width,
java.lang.String height)
width - widthheight - height