Added show/hide props to context menu

Added refresh after policy change through context menu

svn: r4523

original commit: e962922e9d92dc6b837491cd0aa83c5e99e65140
This commit is contained in:
Ryan Culpepper 2006-10-08 04:17:12 +00:00
parent b7804c2303
commit e7dda36836

View File

@ -109,7 +109,7 @@
(define/public (get-policy) policy)
;; refresh
(define/private (refresh)
(define/public (refresh)
(when enabled?
(send stepper refresh/resynth)))