[ jEdit-devel ] util.Log changes.

[Kevin A. B. <bu...@re...>]

So just some commen6s on the jedit logger in util.Log

instead of using:

Log.log( Log.DEBUG, "My Plugin", "hello world");

IMO it should have utility methods for:

Log.debug( "My Plugin", "my debug message" );

which should be setup like:


----
    public static void debug( Object source, Object message ) {
        log( DEBUG, source, message );
    }
----

Not a big deal but a little more straight forward...

Kevin

-- 
Kevin A Burton (bu...@ap...)
http://relativity.yi.org
Message to SUN:  "Please Open Source Java!"
The house of the unbelievers shall be razed and they shall be
scorched to the earth. Their code will be open until the end of days.