DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

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

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download

⟦611a9df04⟧ TextFile

    Length: 18372 (0x47c4)
    Types: TextFile
    Notes: R1k Text-file segment

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦ae6e44913⟧ 
            └─⟦this⟧ 

TextFile

widget TopLevelShell {
    flag {
        mapped
        popup
    }
    resources {
        x = 329
        y = 273
        width = 350
        height = 250
        title = ACIA
        background = gray80
        destroyCallback = PutEvent(toplevel,"PushButton","Cancel",""); 
    }
    children {
        widget XmBulletinBoard {
            flag {
                mapped
            }
            resources {
                x = 0
                y = 0
                width = 350
                height = 250
                background = gray80
            }
            children {
                widget XmLabel {
                    flag {
                        mapped
                    }
                    resources {
                        x = 15
                        y = 10
                        labelString = ACIA  No
                        fontList = *helvetica-bold-r-*-12-*
                        background = gray80
                        height = 30
                        width = 55
                        bottomShadowColor = gray40
                        topShadowColor = white
                        highlightThickness = 1
                    }
                } LabelNumber
                widget XmText {
                    flag {
                        mapped
                    }
                    resources {
                        x = 75
                        y = 10
                        fontList = fixed-screen-r-12
                        background = gray80
                        height = 30
                        width = 30
                        editable = false
                        sensitive = false
                        bottomShadowColor = gray40
                        topShadowColor = white
                        highlightThickness = 1
                        marginWidth = 2
                        blinkRate = 0
                    }
                } Number
                widget XmForm {
                    flag {
                        mapped
                    }
                    resources {
                        x = 15
                        y = 50
                        width = 320
                        height = 86
                        background = gray80
                        bottomShadowColor = white
                        topShadowColor = white
                        shadowThickness = 1
                        borderWidth = 1
                    }
                    children {
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 10
                                y = 10
                                labelString = Base
                                background = gray80
                                fontList = *helvetica-bold-r-*-12-*
                                height = 30
                                width = 45
                                alignment = alignment_beginning
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                            }
                        } LabelBase
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 65
                                y = 10
                                width = 50
                                height = 30
                                background = gray80
                                fontList = fixed-screen-r-12
                                editable = false
                                sensitive = false
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Base
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 10
                                y = 45
                                labelString = Vector
                                background = gray80
                                fontList = *helvetica-bold-r-*-12-*
                                height = 30
                                width = 45
                                alignment = alignment_beginning
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                            }
                        } LabelVector
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 65
                                y = 45
                                width = 35
                                height = 30
                                background = gray80
                                fontList = fixed-screen-r-12
                                editable = false
                                sensitive = false
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Vector
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 145
                                y = 10
                                labelString = Memory Mapped
                                background = gray80
                                fontList = *helvetica-bold-r-*-12-*
                                height = 30
                                width = 105
                                alignment = alignment_beginning
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                            }
                        } LabelMemory
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 260
                                y = 10
                                width = 43
                                height = 30
                                background = gray80
                                fontList = fixed-screen-r-12
                                editable = false
                                sensitive = false
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Memory
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 145
                                y = 45
                                labelString = IT connected
                                background = gray80
                                fontList = *helvetica-bold-r-*-12-*
                                height = 30
                                width = 105
                                alignment = alignment_beginning
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                            }
                        } LabelIt
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 260
                                y = 45
                                width = 43
                                height = 30
                                background = gray80
                                fontList = fixed-screen-r-12
                                editable = false
                                sensitive = false
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } It
                    }
                } F1
                widget XmForm {
                    flag {
                        mapped
                    }
                    resources {
                        x = 15
                        y = 150
                        width = 320
                        height = 85
                        background = gray80
                        bottomShadowColor = white
                        topShadowColor = white
                        shadowThickness = 1
                        borderWidth = 1
                    }
                    children {
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 10
                                y = 10
                                background = gray80
                                labelString = Status
                                fontList = *helvetica-bold-r-*-12-*
                                height = 30
                                width = 45
                                alignment = alignment_beginning
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                            }
                        } LabelStatus
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 65
                                y = 10
                                width = 85
                                height = 30
                                background = gray75
                                fontList = fixed-screen-r-12
                                maxLength = 8
                                activateCallback = SetFalse(toplevel);\
PutEvent(toplevel,"FieldEnter","BB.F2.Status",TextGetString(self));
                                losingFocusCallback = if (FieldChanged(toplevel)) \
PutEvent(toplevel,"FieldEnter","BB.F2.Status",TextGetString(self));
                                focusCallback = SetFalse(toplevel);
                                valueChangedCallback = ValueChanged(toplevel);
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Status
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 10
                                y = 45
                                background = gray80
                                labelString = Control
                                fontList = *helvetica-bold-r-*-12-*
                                height = 30
                                width = 45
                                alignment = alignment_beginning
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                            }
                        } LabelControl
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 65
                                y = 45
                                width = 85
                                height = 30
                                background = gray75
                                fontList = fixed-screen-r-12
                                maxLength = 8
                                activateCallback = SetFalse(toplevel);\
PutEvent(toplevel,"FieldEnter","BB.F2.Control",TextGetString(self));
                                losingFocusCallback = if (FieldChanged(toplevel)) \
PutEvent(toplevel,"FieldEnter","BB.F2.Control",TextGetString(self));
                                focusCallback = SetFalse(toplevel);
                                valueChangedCallback = ValueChanged(toplevel);
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Control
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 195
                                y = 10
                                background = gray80
                                labelString = Reception
                                fontList = *helvetica-bold-r-*-12-*
                                height = 30
                                width = 65
                                alignment = alignment_beginning
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                            }
                        } LabelReceive
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 270
                                y = 10
                                width = 35
                                height = 30
                                background = gray75
                                fontList = fixed-screen-r-12
                                maxLength = 2
                                activateCallback = SetFalse(toplevel);\
PutEvent(toplevel,"FieldEnter","BB.F2.Receive",TextGetString(self));
                                losingFocusCallback = if (FieldChanged(toplevel)) \
PutEvent(toplevel,"FieldEnter","BB.F2.Receive",TextGetString(self));
                                focusCallback = SetFalse(toplevel);
                                valueChangedCallback = ValueChanged(toplevel);
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Receive
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 195
                                y = 45
                                background = gray80
                                labelString = Emission
                                fontList = *helvetica-bold-r-*-12-*
                                height = 28
                                width = 65
                                alignment = alignment_beginning
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                            }
                        } LabelSend
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 270
                                y = 45
                                width = 35
                                height = 30
                                background = gray80
                                fontList = fixed-screen-r-12
                                editable = false
                                sensitive = false
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Send
                    }
                } F2
                widget XmPushButton {
                    flag {
                        mapped
                    }
                    resources {
                        x = 287
                        y = 10
                        background = gray80
                        fontList = *helvetica-bold-r-*-12-*
                        height = 30
                        width = 50
                        activateCallback = PutEvent(toplevel,"PushButton","Cancel",""); 
                        shadowThickness = 3
                        topShadowColor = white
                        bottomShadowColor = gray40
                        highlightThickness = 1
                    }
                } Cancel
            }
        } BB
    }
} ACIA