"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)))))