Module jEdit

Class ErrorListDialog.ErrorEntry

java.lang.Object
org.gjt.sp.jedit.gui.ErrorListDialog.ErrorEntry
Enclosing class:
ErrorListDialog

public static class ErrorListDialog.ErrorEntry extends Object
  • Constructor Details

    • ErrorEntry

      public ErrorEntry(String path, String messageProp, Object[] args)
      An entry with default urgency Log.ERROR
    • ErrorEntry

      public ErrorEntry(String path, String messageProp, Object[] args, int urgency)
      Since:
      5.0pre1
  • Method Details