Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
use symbolic NULL;
authorwenzelm
Sat, 04 Jul 2009 20:28:57 +0200
changeset 34640 c620d8c7f6b3
parent 34639 051635fa7b7e
child 34641 6fce475ba1c6
use symbolic NULL;
src/Tools/jEdit/src/jedit/DynamicTokenMarker.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit/DynamicTokenMarker.scala	Sat Jul 04 17:50:48 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/DynamicTokenMarker.scala	Sat Jul 04 20:28:57 2009 +0200
@@ -60,7 +60,7 @@
       Markup.METHOD -> FUNCTION,
       // ML syntax
       Markup.ML_KEYWORD -> KEYWORD2,
-      Markup.ML_IDENT -> 0,
+      Markup.ML_IDENT -> NULL,
       Markup.ML_TVAR -> LITERAL3,
       Markup.ML_NUMERAL -> DIGIT,
       Markup.ML_CHAR -> LITERAL1,
@@ -74,7 +74,7 @@
       Markup.ML_ANTIQ -> COMMENT4,
       Markup.DOC_ANTIQ -> COMMENT4,
       // outer syntax
-      Markup.IDENT -> 0,
+      Markup.IDENT -> NULL,
       Markup.COMMAND -> OPERATOR,
       Markup.KEYWORD -> KEYWORD4,
       Markup.VERBATIM -> COMMENT3,
@@ -83,7 +83,7 @@
       Markup.MALFORMED -> INVALID,
       Markup.STRING -> LITERAL3,
       Markup.ALTSTRING -> LITERAL1
-    ).withDefaultValue(0)
+    ).withDefaultValue(NULL)
   }
 
   def choose_color(kind: String, styles: Array[SyntaxStyle]): Color =
isabelle