src/Tools/jEdit/dist-template/etc/isabelle-jedit.css

--- a/src/Tools/jEdit/dist-template/etc/isabelle-jedit.css	Tue May 25 22:21:31 2010 +0200
+++ b/src/Tools/jEdit/dist-template/etc/isabelle-jedit.css	Tue May 25 23:03:13 2010 +0200
@@ -3,7 +3,6 @@
 .message { margin-top: 0.3ex; background-color: #F0F0F0; }
 
 .writeln { }
-.priority { }
 .tracing { background-color: #EAF8FF; }
 .warning { background-color: #EEE8AA; }
 .error { background-color: #FFC1C1; }