diff --git a/gui-lib/framework/private/color.rkt b/gui-lib/framework/private/color.rkt
index 0232bc7e..9ed9681d 100644
--- a/gui-lib/framework/private/color.rkt
+++ b/gui-lib/framework/private/color.rkt
@@ -58,6 +58,9 @@ added get-regions
     reset-regions
     get-regions
     
+    is-lexer-valid?
+    on-lexer-valid
+    
     skip-whitespace
     backward-match
     backward-containing-sexp