Macro stepper: fixed prefix refresh on hiding policy change
svn: r5512
This commit is contained in:
parent
d76d947d93
commit
25740b3224
|
@ -103,7 +103,7 @@
|
||||||
;; refresh
|
;; refresh
|
||||||
(define/public (refresh)
|
(define/public (refresh)
|
||||||
(when (send config get-macro-hiding?)
|
(when (send config get-macro-hiding?)
|
||||||
(send stepper refresh)))
|
(send stepper refresh/resynth-prefix)))
|
||||||
|
|
||||||
;; force-refresh
|
;; force-refresh
|
||||||
(define/private (force-refresh)
|
(define/private (force-refresh)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user