DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download
Index: ┃ F T

⟦1ae61a0c9⟧ TextFile

    Length: 64338 (0xfb52)
    Types: TextFile
    Names: »FRAMEG_FM«

Derivation

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─ ⟦124ff5788⟧ »DATA« 
        └─⟦this⟧ 
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─ ⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─ ⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

widget ApplicationShell {
    flag {
        mapped
    }
    resources {
        x = 267
        y = 245
        width = 457
        height = 342
    }
    children {
        widget XmForm {
            flag {
                mapped
            }
            resources {
                x = 0
                y = 0
                width = 457
                height = 342
            }
            children {
                widget XmPanedWindow {
                    flag {
                        mapped
                    }
                    resources {
                        x = 0
                        y = 0
                        width = 457
                        height = 342
                        topAttachment = attach_form
                        leftAttachment = attach_form
                        bottomAttachment = attach_form
                        rightAttachment = attach_form
                    }
                    children {
                        widget XmForm {
                            flag {
                                mapped
                            }
                            resources {
                                x = 3
                                y = 3
                                width = 451
                                height = 264
                            }
                            children {
                                widget XmRowColumn {
                                    flag {
                                        mapped
                                        autosize
                                        menu_bar
                                    }
                                    createproc {
                                        self:menuHelpWidget = self.Help
                                    }
                                    resources {
                                        background = gray65
                                        x = 0
                                        y = 34
                                        rightAttachment = attach_form
                                        leftAttachment = attach_form
                                    }
                                    children {
                                        widget XmRowColumn {
                                            flag {
                                                mapped
                                                menu_pulldown
                                            }
                                            resources {
                                                x = 0
                                                y = 0
                                                width = 102
                                                height = 142
                                                background = gray65
                                            }
                                            children {
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 5
                                                        width = 92
                                                        height = 21
                                                        mnemonic = N
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","FN","");
                                                    }
                                                } New
                                                widget XmSeparator {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 26
                                                        width = 92
                                                        height = 2
                                                        background = gray65
                                                    }
                                                } XmSeparator0
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 28
                                                        width = 92
                                                        height = 21
                                                        mnemonic = C
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","FC","");
                                                    }
                                                } Copy
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 49
                                                        width = 92
                                                        height = 21
                                                        mnemonic = M
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","FM","");
                                                    }
                                                } Move
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 70
                                                        width = 92
                                                        height = 21
                                                        mnemonic = D
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","FD","");
                                                    }
                                                } Delete
                                                widget XmSeparator {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 91
                                                        width = 92
                                                        height = 2
                                                        background = gray65
                                                    }
                                                } XmSeparator1
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 93
                                                        width = 92
                                                        height = 21
                                                        mnemonic = P
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","FP","");
                                                    }
                                                } Print
                                                widget XmSeparator {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 114
                                                        width = 92
                                                        height = 2
                                                        background = gray65
                                                    }
                                                } XmSeparator2
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 116
                                                        width = 92
                                                        height = 21
                                                        mnemonic = Q
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","FQ","");
                                                    }
                                                } Quit
                                            }
                                        } PulldownMenu2
                                        widget XmCascadeButton {
                                            flag {
                                                mapped
                                            }
                                            resources {
                                                x = 5
                                                y = 5
                                                width = 40
                                                height = 21
                                                subMenuId = parent.PulldownMenu2
                                                mnemonic = F
                                                background = gray65
                                            }
                                        } File
                                        widget XmRowColumn {
                                            flag {
                                                mapped
                                                menu_pulldown
                                            }
                                            resources {
                                                x = 0
                                                y = 0
                                                width = 48
                                                height = 73
                                                background = gray65
                                            }
                                            children {
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 5
                                                        width = 38
                                                        height = 21
                                                        mnemonic = C
                                                        labelString = Cut
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","EC","");
                                                    }
                                                } EditCut
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 26
                                                        width = 38
                                                        height = 21
                                                        mnemonic = o
                                                        labelString = Copy
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","EO","");
                                                    }
                                                } EditCopy
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 47
                                                        width = 38
                                                        height = 21
                                                        labelString = Paste
                                                        mnemonic = P
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","EP","");
                                                    }
                                                } EditPaste
                                            }
                                        } PulldownMenu3
                                        widget XmCascadeButton {
                                            flag {
                                                mapped
                                            }
                                            resources {
                                                x = 45
                                                y = 5
                                                width = 40
                                                height = 21
                                                subMenuId = parent.PulldownMenu3
                                                mnemonic = E
                                                background = gray65
                                            }
                                        } Edit
                                        widget XmRowColumn {
                                            flag {
                                                mapped
                                                menu_pulldown
                                            }
                                            resources {
                                                x = 0
                                                y = 0
                                                width = 132
                                                height = 119
                                                background = gray65
                                            }
                                            children {
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 5
                                                        width = 122
                                                        height = 21
                                                        mnemonic = D
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","TD","");
                                                    }
                                                } Definition
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 26
                                                        width = 122
                                                        height = 21
                                                        labelString = Definition In Place
                                                        mnemonic = f
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","TF","");
                                                    }
                                                } DefinitionInPlace
                                                widget XmSeparator {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 47
                                                        width = 122
                                                        height = 2
                                                        background = gray65
                                                    }
                                                } XmSeparator3
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 49
                                                        width = 122
                                                        height = 21
                                                        mnemonic = E
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","TE","");
                                                    }
                                                } Enclosing
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 70
                                                        width = 122
                                                        height = 21
                                                        mnemonic = n
                                                        labelString = Enclosing In Place
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","TN","");
                                                    }
                                                } EnclosingInPlace
                                                widget XmSeparator {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 91
                                                        width = 122
                                                        height = 2
                                                        background = gray65
                                                    }
                                                } XmSeparator4
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 93
                                                        width = 122
                                                        height = 21
                                                        labelString = Home Library
                                                        mnemonic = H
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","TH","");
                                                    }
                                                } HomeLibrary
                                            }
                                        } PulldownMenu4
                                        widget XmCascadeButton {
                                            flag {
                                                mapped
                                            }
                                            resources {
                                                x = 85
                                                y = 5
                                                width = 64
                                                height = 21
                                                subMenuId = parent.PulldownMenu4
                                                mnemonic = T
                                                background = gray65
                                            }
                                        } Traverse
                                        widget XmRowColumn {
                                            flag {
                                                mapped
                                                menu_pulldown
                                            }
                                            resources {
                                                x = 0
                                                y = 0
                                                width = 108
                                                height = 96
                                                background = gray65
                                            }
                                            children {
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 5
                                                        width = 98
                                                        height = 21
                                                        labelString = Promote Unit
                                                        mnemonic = P
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","CP","");
                                                    }
                                                } PromoteUnit
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 26
                                                        width = 98
                                                        height = 21
                                                        labelString = Promote Library
                                                        mnemonic = r
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","CR","");
                                                    }
                                                } PromoteLibrary
                                                widget XmSeparator {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 47
                                                        width = 98
                                                        height = 2
                                                        background = gray65
                                                    }
                                                } XmSeparator6
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 49
                                                        width = 98
                                                        height = 21
                                                        labelString = Demote Unit
                                                        mnemonic = D
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","CD","");
                                                    }
                                                } DemoteUnit
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 70
                                                        width = 98
                                                        height = 21
                                                        labelString = Demote Library
                                                        mnemonic = e
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","CE","");
                                                    }
                                                } DemoteLibrary
                                            }
                                        } PulldownMenu9
                                        widget XmCascadeButton {
                                            flag {
                                                mapped
                                            }
                                            resources {
                                                x = 149
                                                y = 5
                                                width = 82
                                                height = 21
                                                subMenuId = parent.PulldownMenu9
                                                mnemonic = C
                                                background = gray65
                                            }
                                        } Compilation
                                        widget XmRowColumn {
                                            flag {
                                                mapped
                                                menu_pulldown
                                            }
                                            resources {
                                                x = 0
                                                y = 0
                                                width = 102
                                                height = 54
                                                background = gray65
                                            }
                                            children {
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 5
                                                        width = 92
                                                        height = 21
                                                        mnemonic = C
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","CC","");
                                                    }
                                                } Command
                                                widget XmSeparator {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 26
                                                        width = 92
                                                        height = 2
                                                        background = gray65
                                                    }
                                                } XmSeparator5
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 28
                                                        width = 92
                                                        height = 21
                                                        mnemonic = L
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","CL","");
                                                    }
                                                } Library
                                            }
                                        } PulldownMenu10
                                        widget XmCascadeButton {
                                            flag {
                                                mapped
                                            }
                                            resources {
                                                x = 231
                                                y = 5
                                                width = 52
                                                height = 21
                                                subMenuId = parent.PulldownMenu10
                                                mnemonic = r
                                                background = gray65
                                            }
                                        } Create
                                        widget XmRowColumn {
                                            flag {
                                                mapped
                                                menu_pulldown
                                            }
                                            resources {
                                                x = 0
                                                y = 0
                                                width = 120
                                                height = 140
                                                background = gray65
                                            }
                                            children {
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 5
                                                        width = 110
                                                        height = 21
                                                        labelString = Check In
                                                        mnemonic = I
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","NI","");
                                                    }
                                                } CheckIn
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 26
                                                        width = 110
                                                        height = 21
                                                        mnemonic = O
                                                        labelString = Check Out
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","NO","");
                                                    }
                                                } CheckOut
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 47
                                                        width = 110
                                                        height = 21
                                                        labelString = Accept Changes
                                                        mnemonic = A
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","NA","");
                                                    }
                                                } AcceptChanges
                                                widget XmSeparator {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 68
                                                        width = 110
                                                        height = 2
                                                        background = gray65
                                                    }
                                                } XmSeparator7
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 70
                                                        width = 110
                                                        height = 21
                                                        labelString = Make Controlled
                                                        mnemonic = C
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","NC","");
                                                    }
                                                } MakeControlled
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 91
                                                        width = 110
                                                        height = 21
                                                        labelString = Make Uncontrolled
                                                        mnemonic = U
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","NU","");
                                                    }
                                                } MakeUncontrolled
                                                widget XmSeparator {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 112
                                                        width = 110
                                                        height = 2
                                                        background = gray65
                                                    }
                                                } XmSeparator8
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 114
                                                        width = 110
                                                        height = 21
                                                        mnemonic = R
                                                        background = gray65
                                                        activateCallback = put_event(toplevel,"Select","NR","");
                                                    }
                                                } Revert
                                            }
                                        } PulldownMenu11
                                        widget XmCascadeButton {
                                            flag {
                                                mapped
                                            }
                                            resources {
                                                x = 283
                                                y = 5
                                                width = 46
                                                height = 21
                                                subMenuId = parent.PulldownMenu11
                                                mnemonic = N
                                                background = gray65
                                            }
                                        } Ncmvc
                                        widget XmRowColumn {
                                            flag {
                                                mapped
                                                menu_pulldown
                                            }
                                            resources {
                                                x = 373
                                                y = 12
                                                width = 54
                                                height = 31
                                            }
                                            children {
                                                widget XmPushButton {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 5
                                                        y = 5
                                                        width = 44
                                                        height = 21
                                                        mnemonic = E
                                                        activateCallback = put_event(toplevel,"Select","HE","");
                                                    }
                                                } Editor
                                            }
                                        } PulldownMenu12
                                        widget XmCascadeButton {
                                            flag {
                                                mapped
                                            }
                                            resources {
                                                x = 406
                                                y = 5
                                                width = 40
                                                height = 21
                                                subMenuId = parent.PulldownMenu12
                                                mnemonic = H
                                                background = gray65
                                            }
                                        } Help
                                    }
                                } MenuBar1
                                widget XmForm {
                                    flag {
                                        mapped
                                    }
                                    resources {
                                        x = 0
                                        y = 4
                                        width = 451
                                        height = 30
                                        rightAttachment = attach_form
                                        leftAttachment = attach_form
                                        bottomAttachment = attach_widget
                                        bottomWidget = parent.MenuBar1
                                    }
                                    children {
                                        widget XmLabel {
                                            flag {
                                                mapped
                                                autosize
                                            }
                                            resources {
                                                x = 0
                                                y = 0
                                                background = black
                                                leftAttachment = attach_form
                                                topAttachment = attach_form
                                                rightAttachment = attach_form
                                                bottomAttachment = attach_form
                                            }
                                        } Label
                                    }
                                } F0
                                widget XmForm {
                                    flag {
                                        mapped
                                    }
                                    resources {
                                        x = 0
                                        y = 65
                                        width = 451
                                        height = 199
                                        leftAttachment = attach_form
                                        rightAttachment = attach_form
                                        bottomAttachment = attach_form
                                        topAttachment = attach_widget
                                        topWidget = parent.MenuBar1
                                    }
                                    children {
                                        widget XmScrolledWindow {
                                            flag {
                                                mapped
                                            }
                                            resources {
                                                x = 0
                                                y = 0
                                                width = 451
                                                height = 199
                                                leftAttachment = attach_form
                                                topAttachment = attach_form
                                                rightAttachment = attach_form
                                                bottomAttachment = attach_form
                                            }
                                            children {
                                                widget XmList {
                                                    flag {
                                                        mapped
                                                    }
                                                    resources {
                                                        x = 0
                                                        y = 0
                                                        width = 451
                                                        height = 199
                                                        items = one_very_long_one,two,three,four,five,six,seven,eight,nine,ten
                                                        itemCount = 10
                                                        visibleItemCount = 10
                                                        listSizePolicy = constant
                                                        selectionPolicy = single_select
                                                        background = white
                                                        translations = #override
	<Btn3Down>:	eval("ShowPopup($, self.PopupMenu6);")
                                                        multipleSelectionCallback = printf("multiple\n");
                                                        extendedSelectionCallback = printf("extended\n");
                                                        browseSelectionCallback = printf("browse\n");
                                                        defaultActionCallback = put_event(toplevel,"Select","LL",XMStringImage(self:selectedItems));
                                                        singleSelectionCallback = put_event(parent.parent.parent,"List_Editor_Selection","",XMStringImage(self:selectedItems));
                                                    }
                                                    children {
                                                        widget XmRowColumn {
                                                            flag {
                                                                mapped
                                                                menu_popup
                                                            }
                                                            resources {
                                                                x = 0
                                                                y = 0
                                                                width = 102
                                                                height = 96
                                                            }
                                                            children {
                                                                widget XmPushButton {
                                                                    flag {
                                                                        mapped
                                                                    }
                                                                    resources {
                                                                        x = 5
                                                                        y = 5
                                                                        width = 92
                                                                        height = 21
                                                                        activateCallback = put_event(toplevel,"Select","CP","");
                                                                    }
                                                                } Promote
                                                                widget XmPushButton {
                                                                    flag {
                                                                        mapped
                                                                    }
                                                                    resources {
                                                                        x = 5
                                                                        y = 26
                                                                        width = 92
                                                                        height = 21
                                                                        activateCallback = put_event(toplevel,"Select","CD","");
                                                                    }
                                                                } Demote
                                                                widget XmSeparator {
                                                                    flag {
                                                                        mapped
                                                                    }
                                                                    resources {
                                                                        x = 5
                                                                        y = 47
                                                                        width = 92
                                                                        height = 2
                                                                    }
                                                                } XmSeparator9
                                                                widget XmPushButton {
                                                                    flag {
                                                                        mapped
                                                                    }
                                                                    resources {
                                                                        x = 5
                                                                        y = 49
                                                                        width = 92
                                                                        height = 21
                                                                        activateCallback = put_event(toplevel,"Select","FE","");
                                                                    }
                                                                } Edit
                                                                widget XmPushButton {
                                                                    flag {
                                                                        mapped
                                                                    }
                                                                    resources {
                                                                        x = 5
                                                                        y = 70
                                                                        width = 92
                                                                        height = 21
                                                                        activateCallback = put_event(toplevel,"Select","FX","");
                                                                    }
                                                                } Explain
                                                            }
                                                        } PopupMenu6
                                                    }
                                                } SList
                                            }
                                        } SL1
                                    }
                                } F1
                            }
                        } ListEd
                        widget XmForm {
                            flag {
                                mapped
                            }
                            resources {
                                x = 3
                                y = 275
                                width = 451
                                height = 64
                            }
                            children {
                                widget XmScrolledWindow {
                                    flag {
                                        mapped
                                    }
                                    resources {
                                        x = 0
                                        y = 0
                                        width = 451
                                        height = 64
                                        rightAttachment = attach_form
                                        leftAttachment = attach_form
                                        bottomAttachment = attach_form
                                        topAttachment = attach_form
                                    }
                                    children {
                                        widget XmList {
                                            flag {
                                                mapped
                                            }
                                            resources {
                                                x = 0
                                                y = 0
                                                width = 432
                                                height = 64
                                                items = one_very_long_one,two,three,four,five,six,seven,eight,nine,ten
                                                itemCount = 10
                                                visibleItemCount = 10
                                                listSizePolicy = constant
                                                selectionPolicy = single_select
                                                sensitive = true
                                                background = gray85
                                                translations = #override
	<Btn3Down>:	eval("ShowPopup($, self.PopupMenu8);")
                                            }
                                            children {
                                                widget XmRowColumn {
                                                    flag {
                                                        mapped
                                                        menu_popup
                                                    }
                                                    resources {
                                                        x = 0
                                                        y = 0
                                                        width = 54
                                                        height = 52
                                                    }
                                                    children {
                                                        widget XmPushButton {
                                                            flag {
                                                                mapped
                                                            }
                                                            resources {
                                                                x = 5
                                                                y = 5
                                                                width = 44
                                                                height = 21
                                                                labelString = Clear
                                                                activateCallback = put_event(toplevel,"Select","OC","");
                                                            }
                                                        } ClearId
                                                        widget XmPushButton {
                                                            flag {
                                                                mapped
                                                            }
                                                            resources {
                                                                x = 5
                                                                y = 26
                                                                width = 44
                                                                height = 21
                                                                activateCallback = put_event(toplevel,"Select","OS","");
                                                            }
                                                        } Scroll
                                                    }
                                                } PopupMenu8
                                            }
                                        } SList
                                    }
                                } SL2
                            }
                        } F2
                    }
                } PW
            }
        } F
    }
} ApplicationShell0