Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/proofdocument/command.scala
changeset 34865 104298db6abf
parent 34860 847c00f5535a 
--- a/src/Tools/jEdit/src/proofdocument/command.scala	Mon Jan 11 18:26:13 2010 +0100
+++ b/src/Tools/jEdit/src/proofdocument/command.scala	Mon Jan 11 18:26:38 2010 +0100
@@ -38,7 +38,7 @@
   /* classification */
 
   def is_command: Boolean = !span.isEmpty && span.first.is_command
-  def is_ignored: Boolean = span.forall(tok => tok.is_space || tok.is_comment)
+  def is_ignored: Boolean = span.forall(_.is_ignored)
   def is_malformed: Boolean = !is_command && !is_ignored
 
   def name: String = if (is_command) span.first.content else ""
isabelle