diff --git a/pkgs/gui-pkgs/gui-lib/framework/private/color-local-member-name.rkt b/pkgs/gui-pkgs/gui-lib/framework/private/color-local-member-name.rkt
new file mode 100644
index 00000000..e7c5b2b4
--- /dev/null
+++ b/pkgs/gui-pkgs/gui-lib/framework/private/color-local-member-name.rkt
@@ -0,0 +1,4 @@
+#lang racket/base
+(require racket/class)
+(define-local-member-name tokenizing-give-up-early)
+(provide tokenizing-give-up-early)
diff --git a/pkgs/gui-pkgs/gui-lib/framework/private/color.rkt b/pkgs/gui-pkgs/gui-lib/framework/private/color.rkt
index 71461487..67b62138 100644
--- a/pkgs/gui-pkgs/gui-lib/framework/private/color.rkt
+++ b/pkgs/gui-pkgs/gui-lib/framework/private/color.rkt
@@ -15,7 +15,8 @@ added get-regions
          string-constants
          "../preferences.rkt"
          "sig.rkt"
-         "aspell.rkt")
+         "aspell.rkt"
+         "color-local-member-name.rkt")
 
 (import [prefix icon: framework:icon^]
         [prefix mode: framework:mode^]
@@ -324,9 +325,15 @@ added get-regions
     
     (define re-tokenize-lses #f)
     
+    (define/public (tokenizing-give-up-early) 'defer)
+    
     (define/private (continue-re-tokenize start-time ok-to-stop? ls in in-start-pos lexer-mode)
       (cond
-        [(and ok-to-stop? ((+ start-time 20.0) . <= . (current-inexact-milliseconds)))
+        [(and ok-to-stop?
+              (case (tokenizing-give-up-early)
+                [(#t) #t]
+                [(#f) #f]
+                [(defer) ((+ start-time 20.0) . <= . (current-inexact-milliseconds))]))
          #f]
         [else
          (define-values (_line1 _col1 pos-before) (port-next-location in))