[ jEdit-users ] Console 5.1 generic error pattern no longer works with common java errors

[Alan E. <ala...@gm...>]

I just realized, there is a fundamental difference between the gcc and
generic error patterns, and I stupidly tried to replace one with the other
in the latest Console 5.1.

If you want to get back your java-friendly generic error pattern you can
put these lines into your properties:

console.error.generic.name=Generic
console.error.generic.match=^((?\:\\w\:)?[^\:]+?)\:(\\d+)\:\\s*(.+)
console.error.generic.warning=^((?\:\\w\:)?[^\:]+?)\:(\\d+)\:\\s*warning\:\\s*(.+)
console.error.generic.extra=^(\\s+(.*)|\\S+\\s*\:.*)
console.error.generic.filename=$1
console.error.generic.line=$2
console.error.generic.message=$3
console.error.generic.testtext=/home/ezust/workspace/jedit/trunk/org/gjt/sp/jedit/gui/DockingLayoutManager.java\:48\:
cannot find symbol\nsymbol  \: variable GUIUtilities\nlocation\: class
org.gjt.sp.jedit.gui.DockingLayoutManager\n\t\t\tGUIUtilities.error(view,"no-settings",null);\n\t\t\t^

And if you want the gcc pattern also, put this in there:

console.errors.default=generic perl ant python vhdl msvc q_assert msnet gcc
jade antemacs emacs
console.error.gcc.name=Gcc
console.error.gcc.warning=^([^\:]+)\:(\\d+)\:(?\:\\d*\:)?\\s*(warning\:.*)$
console.error.gcc.match=^([^\:]+)\:(\\d+)\:(?\:\\d*\:)?\\s*((fatal
)?error\:.*)$
console.error.gcc.extra=^([^\:]+\:\\d+\:(?\:\\d*\:)?\\s*note\:.*)$
console.error.gcc.filename=$1
console.error.gcc.line=$2
console.error.gcc.message=$3
console.error.gcc.testtext=FtlAtlasII/MetaRecord.h\:70\:3\: error\:
redefinition of typedef
'PageStripeDef'\nFtlAtlasII/BlockStripeContainer.h\:36\:31\: note\:
previous declaration of 'PageStripeDef' was here\n\n\n

These will be the defaults in the next release of Console but until then,
you can use these with the current release.