|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: P T
Length: 27925 (0x6d15)
Types: TextFile
Names: »PTM_FM«
└─⟦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⟧
widget TopLevelShell {
flag {
mapped
popup
}
resources {
x = 350
y = 227
width = 335
height = 355
title = Timer
background = gray80
geometry = +350+320
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