Macro stepper: fixed prefix refresh on hiding policy change
svn: r5512 original commit: 25740b3224be4a91e673633a60d2b4c02e693fb9
This commit is contained in:
parent
dd90b92c3d
commit
6a2575ac34
|
@ -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