--- a/UISelectionPanel.st Tue Jun 16 10:55:23 1998 +0200
+++ b/UISelectionPanel.st Tue Jun 16 18:21:02 1998 +0200
@@ -1892,7 +1892,6 @@
#(#ArbitraryComponentSpec
#name: 'Digital Number display'
#layout: #(#LayoutOrigin 142 0 39 0)
- #model: #''
#component: #DigitalLedDisplay
#hasBorder: false
)