net.minecraft.server.gui
Class GuiLogOutputHandler
java.lang.Object
java.util.logging.Handler
net.minecraft.server.gui.GuiLogOutputHandler
public class GuiLogOutputHandler
- extends Handler
| Methods inherited from class java.util.logging.Handler |
getEncoding, getErrorManager, getFilter, getFormatter, getLevel, isLoggable, setEncoding, setErrorManager, setFilter, setFormatter, setLevel |
GuiLogOutputHandler
public GuiLogOutputHandler(JTextArea par1JTextArea)
close
public void close()
- Specified by:
close in class Handler
flush
public void flush()
- Specified by:
flush in class Handler
publish
public void publish(LogRecord par1LogRecord)
- Specified by:
publish in class Handler