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

⟦a54a77c07⟧ TextFile

    Length: 29468 (0x731c)
    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« 
        └─⟦2d272efa4⟧ 
            └─⟦this⟧ 

TextFile

widget TopLevelShell {
    flag {
        mapped
        popup
    }
    resources {
        x = 342
        y = 278
        width = 375
        height = 360
        title = PPI
        background = gray80
        geometry = +350+320
        destroyCallback = PutEvent(toplevel,"PushButton","Cancel","");
    }
    children {
        widget XmBulletinBoard {
            flag {
                mapped
            }
            resources {
                x = 0
                y = 0
                width = 375
                height = 360
                background = gray80
            }
            children {
                widget XmLabel {
                    flag {
                        mapped
                    }
                    resources {
                        x = 15
                        y = 10
                        labelString = PPI  No
                        fontList = *helvetica-bold-r-*-12-*
                        background = gray80
                        height = 30
                        width = 50
                        bottomShadowColor = gray40
                        topShadowColor = white
                        highlightThickness = 1
                    }
                } LabelNumber
                widget XmText {
                    flag {
                        mapped
                    }
                    resources {
                        x = 70
                        y = 10
                        fontList = fixed-screen-r-12
                        background = gray80
                        height = 30
                        width = 30
                        editable = false
                        sensitive = false
                        bottomShadowColor = gray40
                        topShadowColor = white
                        highlightThickness = 1
                        marginWidth = 3
                        blinkRate = 0
                    }
                } Number
                widget XmPushButton {
                    flag {
                        mapped
                    }
                    resources {
                        x = 307
                        y = 10
                        background = gray80
                        fontList = *helvetica-bold-r-*-12-*
                        height = 30
                        width = 50
                        activateCallback = PutEvent(toplevel,"PushButton","Cancel","");
                        shadowThickness = 3
                        topShadowColor = white
                        bottomShadowColor = black
                        highlightThickness = 1
                    }
                } Cancel
                widget XmForm {
                    flag {
                        mapped
                    }
                    resources {
                        x = 15
                        y = 50
                        width = 340
                        height = 85
                        background = gray80
                        marginWidth = 5
                        marginHeight = 5
                        bottomShadowColor = white
                        topShadowColor = white
                        borderWidth = 1
                        shadowThickness = 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 = 170
                                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 = 285
                                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 = 170
                                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 = 285
                                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 = 340
                        height = 47
                        background = gray80
                        bottomShadowColor = white
                        topShadowColor = white
                        borderWidth = 1
                        shadowThickness = 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 = gray80
                                fontList = fixed-screen-r-12
                                maxLength = 8
                                editable = false
                                sensitive = false
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Status
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 190
                                y = 10
                                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 = 245
                                y = 10
                                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
                    }
                } F2
                widget XmForm {
                    flag {
                        mapped
                    }
                    resources {
                        x = 15
                        y = 210
                        width = 340
                        height = 130
                        background = gray80
                        topShadowColor = white
                        bottomShadowColor = white
                        topShadowColor = white
                        borderWidth = 1
                        shadowThickness = 1
                    }
                    children {
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 10
                                y = 10
                                width = 50
                                height = 30
                                labelString = Port A
                                background = gray80
                                fontList = *helvetica-bold-r-*-12-*
                                alignment = alignment_beginning
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                            }
                        } LPortA
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 65
                                y = 10
                                width = 35
                                height = 30
                                background = gray75
                                fontList = fixed-screen-r-12
                                maxLength = 2
                                activateCallback = SetFalse(toplevel);\
PutEvent(toplevel,"FieldEnter","BB.Port.A",TextGetString(self));
                                losingFocusCallback = if (FieldChanged(toplevel)) \
PutEvent(toplevel,"FieldEnter","BB.Port.A",TextGetString(self));
                                focusCallback = SetFalse(toplevel);
                                valueChangedCallback = ValueChanged(toplevel);
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } A
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 200
                                y = 10
                                width = 35
                                height = 30
                                labelString = Mode
                                background = gray80
                                fontList = *helvetica-bold-r-*-12-*
                                alignment = alignment_beginning
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                            }
                        } LModeA
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 245
                                y = 10
                                width = 25
                                height = 30
                                background = gray80
                                fontList = fixed-screen-r-12
                                editable = false
                                sensitive = false
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } ModeA
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 285
                                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
                            }
                        } SensA
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 10
                                y = 50
                                width = 50
                                height = 30
                                labelString = Port B
                                background = gray80
                                fontList = *helvetica-bold-r-*-12-*
                                alignment = alignment_beginning
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                            }
                        } LPortB
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 65
                                y = 50
                                width = 35
                                height = 30
                                background = gray75
                                fontList = fixed-screen-r-12
                                maxLength = 2
                                activateCallback = SetFalse(toplevel);\
PutEvent(toplevel,"FieldEnter","BB.Port.B",TextGetString(self));
                                losingFocusCallback = if (FieldChanged(toplevel)) \
PutEvent(toplevel,"FieldEnter","BB.Port.B",TextGetString(self));
                                focusCallback = SetFalse(toplevel);
                                valueChangedCallback = ValueChanged(toplevel);
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } B
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 200
                                y = 50
                                width = 35
                                height = 30
                                labelString = Mode
                                background = gray80
                                fontList = *helvetica-bold-r-*-12-*
                                alignment = alignment_beginning
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                            }
                        } LModeB
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 245
                                y = 50
                                width = 25
                                height = 30
                                background = gray80
                                fontList = fixed-screen-r-12
                                editable = false
                                sensitive = false
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } ModeB
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 285
                                y = 50
                                width = 43
                                height = 30
                                background = gray80
                                fontList = fixed-screen-r-12
                                editable = false
                                sensitive = false
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } SensB
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 10
                                y = 90
                                width = 50
                                height = 30
                                labelString = Port C
                                background = gray80
                                fontList = *helvetica-bold-r-*-12-*
                                alignment = alignment_beginning
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                            }
                        } LPortC
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 65
                                y = 90
                                width = 85
                                height = 30
                                background = gray75
                                fontList = fixed-screen-r-12
                                maxLength = 8
                                activateCallback = SetFalse(toplevel);\
PutEvent(toplevel,"FieldEnter","BB.Port.C",TextGetString(self));
                                losingFocusCallback = if (FieldChanged(toplevel)) \
PutEvent(toplevel,"FieldEnter","BB.Port.C",TextGetString(self));
                                focusCallback = SetFalse(toplevel);
                                valueChangedCallback = ValueChanged(toplevel);
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } C
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 160
                                y = 90
                                width = 30
                                height = 30
                                labelString = Low
                                background = gray80
                                fontList = *helvetica-bold-r-*-12-*
                                alignment = alignment_beginning
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                            }
                        } LLowC
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 195
                                y = 90
                                width = 43
                                height = 30
                                background = gray80
                                fontList = fixed-screen-r-12
                                editable = false
                                sensitive = false
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } LowC
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 250
                                y = 90
                                width = 30
                                height = 30
                                labelString = High
                                background = gray80
                                fontList = *helvetica-bold-r-*-12-*
                                alignment = alignment_beginning
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                            }
                        } LHighC
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 285
                                y = 90
                                width = 43
                                height = 30
                                background = gray80
                                fontList = fixed-screen-r-12
                                editable = false
                                sensitive = false
                                bottomShadowColor = gray40
                                topShadowColor = white
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } HighC
                    }
                } Port
            }
        } BB
    }
} PPI