hide the get-online-expansion-colors method
This commit is contained in:
parent
33eba697a0
commit
93aea7036b
|
@ -24,3 +24,8 @@
|
|||
;; defined in module-language.rkt
|
||||
(define-local-member-name
|
||||
set-lang-wants-big-defs/ints-labels?)
|
||||
|
||||
;; used by the test suite to tell when the
|
||||
;; online check syntax has finished
|
||||
(define-local-member-name
|
||||
get-online-expansion-colors)
|
Loading…
Reference in New Issue
Block a user