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: ┃ P T

⟦5d9ed4ca8⟧ TextFile

    Length: 27897 (0x6cf9)
    Types: TextFile
    Names: »PTM_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 TopLevelShell {
    flag {
        mapped
        popup
    }
    resources {
        x = 350
        y = 227
        width = 335
        height = 355
        title = Timer
        background = gray80
        destroyCallback = PutEvent(toplevel,"PushButton","Cancel","");
    }
    children {
        widget XmBulletinBoard {
            flag {
                mapped
            }
            resources {
                x = 0
                y = 0
                width = 335
                height = 355
                background = gray80
            }
            children {
                widget XmLabel {
                    flag {
                        mapped
                    }
                    resources {
                        x = 15
                        y = 10
                        labelString = PTM  No
                        fontList = *helvetica-bold-r-*-12-*
                        background = gray80
                        height = 30
                        width = 52
                        topShadowColor = white
                        bottomShadowColor = gray40
                        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
                        topShadowColor = white
                        bottomShadowColor = gray40
                        highlightThickness = 1
                        marginWidth = 3
                        blinkRate = 0
                    }
                } Number
                widget XmPushButton {
                    flag {
                        mapped
                    }
                    resources {
                        x = 270
                        y = 12
                        background = gray80
                        fontList = *helvetica-bold-r-*-12-*
                        height = 30
                        width = 50
                        activateCallback = PutEvent(toplevel,"PushButton","Cancel","");
                        topShadowColor = white
                        bottomShadowColor = black
                        highlightThickness = 1
                        shadowThickness = 3
                    }
                } Cancel
                widget XmForm {
                    flag {
                        mapped
                    }
                    resources {
                        x = 15
                        y = 50
                        width = 300
                        height = 85
                        background = gray80
                        marginWidth = 5
                        marginHeight = 5
                        borderWidth = 1
                        topShadowColor = white
                        bottomShadowColor = white
                        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
                                topShadowColor = white
                                bottomShadowColor = gray40
                                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
                                topShadowColor = white
                                bottomShadowColor = gray40
                                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
                                topShadowColor = white
                                bottomShadowColor = gray40
                                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
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Vector
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 130
                                y = 10
                                labelString = Memory Mapped
                                background = gray80
                                fontList = *helvetica-bold-r-*-12-*
                                height = 30
                                width = 105
                                alignment = alignment_beginning
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                            }
                        } LabelMemory
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 245
                                y = 10
                                width = 43
                                height = 30
                                background = gray80
                                fontList = fixed-screen-r-12
                                editable = false
                                sensitive = false
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Memory
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 130
                                y = 45
                                labelString = IT connected
                                background = gray80
                                fontList = *helvetica-bold-r-*-12-*
                                height = 30
                                width = 105
                                alignment = alignment_beginning
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                            }
                        } LabelIt
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 245
                                y = 45
                                width = 43
                                height = 30
                                background = gray80
                                fontList = fixed-screen-r-12
                                editable = false
                                sensitive = false
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } It
                    }
                } F1
                widget XmForm {
                    flag {
                        mapped
                    }
                    resources {
                        x = 15
                        y = 145
                        width = 300
                        height = 45
                        background = gray80
                        borderWidth = 1
                        topShadowColor = white
                        bottomShadowColor = white
                        shadowThickness = 1
                    }
                    children {
                        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
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Status
                        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
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                            }
                        } LabelStatus
                    }
                } F2
                widget XmForm {
                    flag {
                        mapped
                    }
                    resources {
                        x = 15
                        y = 200
                        width = 300
                        height = 140
                        background = gray80
                        borderWidth = 1
                        topShadowColor = white
                        bottomShadowColor = white
                        shadowThickness = 1
                    }
                    children {
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 55
                                y = 5
                                width = 85
                                height = 25
                                labelString = Control
                                background = gray80
                                fontList = *helvetica-bold-r-*-12-*
                                alignment = alignment_beginning
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                            }
                        } LabelControl
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 160
                                y = 5
                                width = 50
                                height = 25
                                labelString = Counter
                                background = gray80
                                fontList = *helvetica-bold-r-*-12-*
                                alignment = alignment_beginning
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                            }
                        } LabelCounter
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 230
                                y = 5
                                width = 50
                                height = 25
                                labelString = Buffer
                                background = gray80
                                fontList = *helvetica-bold-r-*-12-*
                                alignment = alignment_beginning
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                            }
                        } LabelBuffer
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 10
                                y = 30
                                width = 30
                                height = 30
                                labelString = No 1
                                background = gray80
                                fontList = *helvetica-bold-r-*-12-*
                                alignment = alignment_beginning
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                            }
                        } Label1
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 55
                                y = 30
                                width = 85
                                height = 30
                                background = gray75
                                fontList = fixed-screen-r-12
                                maxLength = 8
                                activateCallback = SetFalse(toplevel);\
PutEvent(toplevel,"FieldEnter","BB.T.Control1",TextGetString(self));
                                losingFocusCallback = if (FieldChanged(toplevel)) \
PutEvent(toplevel,"FieldEnter","BB.T.Control1",TextGetString(self));
                                focusCallback = SetFalse(toplevel);
                                valueChangedCallback = ValueChanged(toplevel);
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Control1
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 160
                                y = 30
                                width = 50
                                height = 30
                                background = gray80
                                fontList = fixed-screen-r-12
                                maxLength = 4
                                editable = false
                                sensitive = false
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Counter1
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 230
                                y = 30
                                width = 50
                                height = 30
                                background = gray75
                                fontList = fixed-screen-r-12
                                maxLength = 4
                                activateCallback = SetFalse(toplevel);\
PutEvent(toplevel,"FieldEnter","BB.T.Buffer1",TextGetString(self));
                                losingFocusCallback = if (FieldChanged(toplevel)) \
PutEvent(toplevel,"FieldEnter","BB.T.Buffer1",TextGetString(self));
                                focusCallback = SetFalse(toplevel);
                                valueChangedCallback = ValueChanged(toplevel);
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Buffer1
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 10
                                y = 65
                                width = 30
                                height = 30
                                labelString = No 2
                                background = gray80
                                fontList = *helvetica-bold-r-*-12-*
                                alignment = alignment_beginning
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                            }
                        } Label2
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 55
                                y = 65
                                width = 85
                                height = 30
                                background = gray75
                                fontList = fixed-screen-r-12
                                maxLength = 8
                                activateCallback = SetFalse(toplevel);\
PutEvent(toplevel,"FieldEnter","BB.T.Control2",TextGetString(self));
                                losingFocusCallback = if (FieldChanged(toplevel)) \
PutEvent(toplevel,"FieldEnter","BB.T.Control2",TextGetString(self));
                                focusCallback = SetFalse(toplevel);
                                valueChangedCallback = ValueChanged(toplevel);
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Control2
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 160
                                y = 65
                                width = 50
                                height = 30
                                background = gray80
                                fontList = fixed-screen-r-12
                                maxLength = 4
                                editable = false
                                sensitive = false
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Counter2
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 230
                                y = 65
                                width = 50
                                height = 30
                                background = gray75
                                fontList = fixed-screen-r-12
                                maxLength = 4
                                activateCallback = SetFalse(toplevel);\
PutEvent(toplevel,"FieldEnter","BB.T.Buffer2",TextGetString(self));
                                losingFocusCallback = if (FieldChanged(toplevel)) \
PutEvent(toplevel,"FieldEnter","BB.T.Buffer2",TextGetString(self));
                                focusCallback = SetFalse(toplevel);
                                valueChangedCallback = ValueChanged(toplevel);
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Buffer2
                        widget XmLabel {
                            flag {
                                mapped
                            }
                            resources {
                                x = 10
                                y = 100
                                width = 30
                                height = 30
                                labelString = No 3
                                background = gray80
                                fontList = *helvetica-bold-r-*-12-*
                                alignment = alignment_beginning
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                            }
                        } Label3
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 55
                                y = 100
                                width = 85
                                height = 30
                                background = gray75
                                fontList = fixed-screen-r-12
                                maxLength = 8
                                activateCallback = SetFalse(toplevel);\
PutEvent(toplevel,"FieldEnter","BB.T.Control3",TextGetString(self));
                                losingFocusCallback = if (FieldChanged(toplevel)) \
PutEvent(toplevel,"FieldEnter","BB.T.Control3",TextGetString(self));
                                focusCallback = SetFalse(toplevel);
                                valueChangedCallback = ValueChanged(toplevel);
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Control3
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 160
                                y = 100
                                width = 50
                                height = 30
                                background = gray80
                                fontList = fixed-screen-r-12
                                maxLength = 4
                                editable = false
                                sensitive = false
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Counter3
                        widget XmText {
                            flag {
                                mapped
                            }
                            resources {
                                x = 230
                                y = 100
                                width = 50
                                height = 30
                                background = gray75
                                fontList = fixed-screen-r-12
                                maxLength = 4
                                activateCallback = SetFalse(toplevel);\
PutEvent(toplevel,"FieldEnter","BB.T.Buffer3",TextGetString(self));
                                losingFocusCallback = if (FieldChanged(toplevel)) \
PutEvent(toplevel,"FieldEnter","BB.T.Buffer3",TextGetString(self));
                                focusCallback = SetFalse(toplevel);
                                valueChangedCallback = ValueChanged(toplevel);
                                topShadowColor = white
                                bottomShadowColor = gray40
                                highlightThickness = 1
                                blinkRate = 0
                            }
                        } Buffer3
                    }
                } T
            }
        } BB
    }
} PTM