# HG changeset patch
# User wenzelm
# Date 1610228468 -3600
# Node ID 83a2b6976515a6006ea34a0c526a2d2cd8cfe6d8
# Parent  9480a9efe19e06f1a20c8431994263b99db530e1
proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)";

diff -r 9480a9efe19e -r 83a2b6976515 src/Tools/jEdit/src/Isabelle.props
--- a/src/Tools/jEdit/src/Isabelle.props	Sat Jan 09 22:14:30 2021 +0100
+++ b/src/Tools/jEdit/src/Isabelle.props	Sat Jan 09 22:41:08 2021 +0100
@@ -100,3 +100,12 @@
 mode.sml.sidekick.parser=isabelle-sml
 mode.bibtex.folding=sidekick
 mode.bibtex.sidekick.parser=bibtex
+sidekick.parser.isabelle.label=isabelle
+sidekick.parser.isabelle-context.label=isabelle-context
+sidekick.parser.isabelle-markup.label=isabelle-markup
+sidekick.parser.isabelle-ml.label=isabelle-ml
+sidekick.parser.isabelle-sml.label=isabelle-sml
+sidekick.parser.isabelle-news.label=isabelle-news
+sidekick.parser.isabelle-options.label=isabelle-options
+sidekick.parser.isabelle-root.label=isabelle-root
+sidekick.parser.bibtex.label=bibtex