|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - download
Length: 64337 (0xfb51)
Types: TextFile
Notes: R1k Text-file segment
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦9caa89321⟧
└─⟦this⟧
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