From 6ddf433c3eee8670f9a150a809484cd96eb28ef8 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 9 Apr 2015 21:14:39 -0500 Subject: [PATCH] add missing identifiers to color:text<%> --- gui-lib/framework/private/color.rkt | 3 +++ 1 file changed, 3 insertions(+) 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