# HG changeset patch # User tz # Date 889194909 -3600 # Node ID b81a8a2842675dde734302c24da68a5cfb6fa5e1 # Parent b5f3169a0ba7648e0ee4ea62ecaf0b9b3132cc03 'obsolete' widget attributes removed diff -r b5f3169a0ba7 -r b81a8a284267 UISelectionPanel.st --- a/UISelectionPanel.st Fri Mar 06 15:33:06 1998 +0100 +++ b/UISelectionPanel.st Fri Mar 06 15:35:09 1998 +0100 @@ -386,7 +386,6 @@ #(#ActionButtonSpec #name: 'Button' #layout: #(#LayoutFrame 15 0 15 0 140 0 37 0) - #activeHelpKey: #dss #label: 'Button' ) #(#ActionButtonSpec @@ -870,7 +869,6 @@ #layout: #(#LayoutFrame 15 0 130 0 220 0 225 0) #hasHorizontalScrollBar: true #hasVerticalScrollBar: true - #hierarchicalList: #exampleTree ) #(#LabelSpec #name: 'SelectionInTreeLabel'