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