//----------------------------------------------------------------------------//
//                                                                            //
//                         L o g G u i H a n d l e r                          //
//                                                                            //
//  Copyright (C) Herve Bitteur 2000-2007. All rights reserved.               //
//  This software is released under the GNU General Public License.           //
//  Contact author at herve.bitteur@laposte.net to report bugs & suggestions. //
//----------------------------------------------------------------------------//
//
package omr.util;

import omr.Main;

import omr.ui.MainGui;

import java.util.logging.*;

/**
 * <p>Class <code>LogGuiAppender</code> is a specific Log Appender, to be used with
 * logging utility, and which logs directly into the GUI log pane.</p>
 *
 * <p>As a <code>Handler</code>, it should be added to the highest-level
 * logger instance, either programmatically or in a properties file.</p>
 *
 * @author Herv&eacute; Bitteur
 * @author Brenton Partridge
 * @version $Id$
 */
public class LogGuiHandler
    extends java.util.logging.Handler
{
    //~ Constructors -----------------------------------------------------------

    //---------------//
    // LogGuiHandler //
    //---------------//
    /**
     * Creates a new LogGuiHandler object.
     */
    public LogGuiHandler ()
    {
        setFilter(new LogEmptyMessageFilter());
    }

    //~ Methods ----------------------------------------------------------------

    //-------//
    // close //
    //-------//
    /**
     * Called when the handler must be closed. It's a void routine for the time
     * being.
     */
    @Override
    public void close ()
    {
    }

    //-------//
    // close //
    //-------//
    /**
     * Flush any buffered output. It's a void routine for the time being.
     */
    @Override
    public void flush ()
    {
    }

    //---------//
    // publish //
    //---------//
    /**
     * Publish one log record
     *
     * @param record the record to be logged
     */
    @Override
    public void publish (LogRecord record)
    {
        MainGui gui = Main.getGui();

        if ((gui != null) && isLoggable(record)) {
            gui.logPane.log(record);
        }
    }
}

@@ -2302,16 +2302,8 @@
 gui.
-logPane.
 log(

Use of proper method