Documentation and refinement

private/wv-settings.rkt

@@ -31,6 +31,9 @@
     (define/public (clone context)
       (new wv-settings% [ini ini] [wv-context context]))
 
+    (define/public (context)
+      wv-context)
+
     (super-new)
     )
   )