"Clipboard"
(list
 (cons 'name "Clipboard")
 (cons 'parent-class (list frame% project%))
 (cons
  'code
  (lambda (parent-8572)
    (let* ((code-8574 parent-8572)
           (code-8576 (new prop:atom% (value 'frame-games)))
           (code-8575
            (new
             prop:field-id%
             (value code-8576)
             (field-id 'id)
             (option '#t)
             (necessary '#f)
             (no-code '#t)
             (hidden '#f)))
           (code-8578 (new prop:atom% (value '"Frame")))
           (code-8577
            (new
             prop:field-id%
             (value code-8578)
             (field-id 'label)
             (option '#f)
             (necessary '#t)
             (no-code '#f)
             (hidden '#f)))
           (code-8580 (new prop:atom% (value '333)))
           (code-8579
            (new
             prop:field-id%
             (value code-8580)
             (field-id 'width)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8582 (new prop:atom% (value '550)))
           (code-8581
            (new
             prop:field-id%
             (value code-8582)
             (field-id 'height)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8584 (new prop:atom% (value '25)))
           (code-8583
            (new
             prop:field-id%
             (value code-8584)
             (field-id 'x)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8586 (new prop:atom% (value '136)))
           (code-8585
            (new
             prop:field-id%
             (value code-8586)
             (field-id 'y)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8589
            (new
             prop:some-of%
             (value (list))
             (choices
              (list
               'no-resize-border
               'no-caption
               'no-system-menu
               'hide-menu-bar
               'mdi-parent
               'mdi-child
               'toolbar-button
               'float
               'metal))))
           (code-8588 (new prop:popup% (value code-8589)))
           (code-8587
            (new
             prop:field-id%
             (value code-8588)
             (field-id 'style)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8591 (new prop:atom% (value '#t)))
           (code-8590
            (new
             prop:field-id%
             (value code-8591)
             (field-id 'enabled)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8593 (new prop:atom% (value '0)))
           (code-8592
            (new
             prop:field-id%
             (value code-8593)
             (field-id 'border)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8595 (new prop:atom% (value '0)))
           (code-8594
            (new
             prop:field-id%
             (value code-8595)
             (field-id 'spacing)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8598
            (new
             prop:one-of%
             (value 'center)
             (choices (list 'left 'center 'right))))
           (code-8599
            (new
             prop:one-of%
             (value 'top)
             (choices (list 'top 'center 'bottom))))
           (code-8597 (new prop:group% (value (list code-8598 code-8599))))
           (code-8596
            (new
             prop:field-id%
             (value code-8597)
             (field-id 'alignment)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8601 (new prop:atom% (value '70)))
           (code-8600
            (new
             prop:field-id%
             (value code-8601)
             (field-id 'min-width)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8603 (new prop:atom% (value '30)))
           (code-8602
            (new
             prop:field-id%
             (value code-8603)
             (field-id 'min-height)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8605 (new prop:atom% (value '#t)))
           (code-8604
            (new
             prop:field-id%
             (value code-8605)
             (field-id 'stretchable-width)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8607 (new prop:atom% (value '#t)))
           (code-8606
            (new
             prop:field-id%
             (value code-8607)
             (field-id 'stretchable-height)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8609 (new prop:atom% (value '#f)))
           (code-8608
            (new
             prop:field-id%
             (value code-8609)
             (field-id 'show-at-init)
             (option '#f)
             (necessary '#f)
             (no-code '#t)
             (hidden '#f)))
           (code-8573
            (new
             mred-id%
             (plugin (get-widget-plugin 'frame))
             (mred-parent code-8574)
             (properties
              (list
               (cons 'id code-8575)
               (cons 'label code-8577)
               (cons 'width code-8579)
               (cons 'height code-8581)
               (cons 'x code-8583)
               (cons 'y code-8585)
               (cons 'style code-8587)
               (cons 'enabled code-8590)
               (cons 'border code-8592)
               (cons 'spacing code-8594)
               (cons 'alignment code-8596)
               (cons 'min-width code-8600)
               (cons 'min-height code-8602)
               (cons 'stretchable-width code-8604)
               (cons 'stretchable-height code-8606)
               (cons 'show-at-init code-8608)))))
           (code-8612 (new prop:atom% (value 'list-box-games)))
           (code-8611
            (new
             prop:field-id%
             (value code-8612)
             (field-id 'id)
             (option '#t)
             (necessary '#f)
             (no-code '#t)
             (hidden '#f)))
           (code-8614 (new prop:atom% (value '"Games")))
           (code-8613
            (new
             prop:field-id%
             (value code-8614)
             (field-id 'label)
             (option '#f)
             (necessary '#t)
             (no-code '#f)
             (hidden '#f)))
           (code-8616 (new prop:atom% (value (list '"First"))))
           (code-8615
            (new
             prop:field-id%
             (value code-8616)
             (field-id 'choices)
             (option '#f)
             (necessary '#t)
             (no-code '#f)
             (hidden '#f)))
           (code-8618
            (new
             prop:code%
             (value (lambda (list-box control-event) (void)))
             (value-code '(lambda (list-box control-event) (void)))))
           (code-8617
            (new
             prop:field-id%
             (value code-8618)
             (field-id 'callback)
             (option '#t)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8622
            (new
             prop:one-of%
             (value 'single)
             (choices (list 'single 'multiple 'extended))))
           (code-8623
            (new
             prop:one-of%
             (value 'vertical-label)
             (choices (list 'vertical-label 'horizontal-label))))
           (code-8624
            (new prop:some-of% (value (list)) (choices (list 'deleted))))
           (code-8621
            (new prop:group% (value (list code-8622 code-8623 code-8624))))
           (code-8625
            (new
             prop:code%
             (value (λ (l) (list* (first l) (second l) (third l))))
             (value-code '(λ (l) (list* (first l) (second l) (third l))))))
           (code-8620 (new prop:proc% (value code-8621) (prop-code code-8625)))
           (code-8619
            (new
             prop:field-id%
             (value code-8620)
             (field-id 'style)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8628
            (new
             prop:atom%
             (value (list '8 'default 'normal 'normal '#f 'default '#f))))
           (code-8629
            (new prop:code% (value list->font) (value-code 'list->font)))
           (code-8627 (new prop:font% (value code-8628) (prop-code code-8629)))
           (code-8626
            (new
             prop:field-id%
             (value code-8627)
             (field-id 'font)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8631 (new prop:atom% (value '0)))
           (code-8630
            (new
             prop:field-id%
             (value code-8631)
             (field-id 'selection)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8633 (new prop:atom% (value '#t)))
           (code-8632
            (new
             prop:field-id%
             (value code-8633)
             (field-id 'enabled)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8635 (new prop:atom% (value '2)))
           (code-8634
            (new
             prop:field-id%
             (value code-8635)
             (field-id 'vert-margin)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8637 (new prop:atom% (value '2)))
           (code-8636
            (new
             prop:field-id%
             (value code-8637)
             (field-id 'horiz-margin)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8639 (new prop:atom% (value '0)))
           (code-8638
            (new
             prop:field-id%
             (value code-8639)
             (field-id 'min-width)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8641 (new prop:atom% (value '0)))
           (code-8640
            (new
             prop:field-id%
             (value code-8641)
             (field-id 'min-height)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8643 (new prop:atom% (value '#t)))
           (code-8642
            (new
             prop:field-id%
             (value code-8643)
             (field-id 'stretchable-width)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8645 (new prop:atom% (value '#t)))
           (code-8644
            (new
             prop:field-id%
             (value code-8645)
             (field-id 'stretchable-height)
             (option '#f)
             (necessary '#f)
             (no-code '#f)
             (hidden '#f)))
           (code-8610
            (new
             mred-id%
             (plugin (get-widget-plugin 'list-box))
             (mred-parent code-8573)
             (properties
              (list
               (cons 'id code-8611)
               (cons 'label code-8613)
               (cons 'choices code-8615)
               (cons 'callback code-8617)
               (cons 'style code-8619)
               (cons 'font code-8626)
               (cons 'selection code-8630)
               (cons 'enabled code-8632)
               (cons 'vert-margin code-8634)
               (cons 'horiz-margin code-8636)
               (cons 'min-width code-8638)
               (cons 'min-height code-8640)
               (cons 'stretchable-width code-8642)
               (cons 'stretchable-height code-8644))))))
      (list code-8573 code-8610)))))