ErrorSeverity: "fatal" | "error" | "warn" | "info"

Classification of an error message into four classes:

  • "fatal": fatal error; EEvision cannot continue and needs to be reloaded. This is typically the case when the connection to the server process has been lost.
  • "error": an error has occurred in the previous operation such that it had to be aborted. Typically, EEvision can continue to work.
  • "warn": warnings that are not critical.
  • "info": information messages.