Added show/hide props to context menu

Added refresh after policy change through context menu

svn: r4523

collects/macro-debugger/tool.ss

@@ -28,7 +28,7 @@
             [SBMENU : sb:context-menu^ (sb:context-menu@ SBSNIP)]
             [SBSNIP : sb:snip^ (sb:global-snip@)]
             [SBWMENU : sb:context-menu^ (sb:widget-context-menu-extension@ SBMENU)]
-            [VMENU : sb:context-menu^ (view:context-menu-extension@ SBMENU)]
+            [VMENU : sb:context-menu^ (view:context-menu-extension@ SBWMENU)]
             [SBWIDGET : sb:widget^ (sb:widget@ SBKEYMAP SBWMENU)]
             [VWIDGET : sb:widget^ (view:browser-extension@ SBWIDGET VMENU)]
             [BASE : view:view-base^ (view-base/tool@)]

collects/macro-debugger/view/gui.ss

@@ -423,7 +423,10 @@
                                     (lambda (tag message)
                                       (unless warnings-frame
                                         (set! warnings-frame (new warnings-frame%)))
-                                      (send warnings-frame add-warning tag))))
+                                      (send warnings-frame add-warning tag)
+                                      #;
+                                      (send warnings-frame add-text
+                                            (format "Warning: ~a~n" message)))))
                       (let-values ([(d s) (hide/policy deriv show-macro?)])
                         d)))
                   deriv)))
@@ -531,9 +534,14 @@
             (void))
           
           (define/private (do-show)
-            (send (get-prefs-panel) add-show-identifier))
+            (send* (get-prefs-panel)
+              (add-show-identifier)
+              (refresh)))
+            
           (define/private (do-hide)
-            (send (get-prefs-panel) add-hide-identifier))
+            (send* (get-prefs-panel)
+              (add-hide-identifier)
+              (refresh)))
           
           (define/override (on-demand)
             (define-values (opaque transparent)
@@ -561,11 +569,10 @@
       (define syntax-widget%
         (class pre:syntax-widget%
           (init-field macro-stepper)
-          (inherit get-controller)
           
           (define/override (make-context-menu)
             (new context-menu%
-                 (controller (get-controller))
+                 (widget this)
                  (macro-stepper macro-stepper)))
           (super-new)))))
   )

collects/macro-debugger/view/hiding-panel.ss

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

collects/macro-debugger/view/warning.ss

@@ -37,7 +37,7 @@
                     "The macro stepper is only hiding macro after the "
                     "lifts are caught.")))
 
-      (define/private (add-text . strs)
+      (define/public (add-text . strs)
         (send text lock #f)
         (for-each (lambda (s) (send text insert s)) strs)
         (send text insert "\n\n")