--- a/MenuEditor.st	Mon Jul 28 12:53:13 1997 +0200
+++ b/MenuEditor.st	Mon Jul 28 13:14:17 1997 +0200
@@ -1403,12 +1403,9 @@
 tabList
     "automatically generated by UIPainter ..."
 
-    |holder|
-
-    (holder := builder bindingAt:#tabList) isNil ifTrue:[
-        builder aspectAt:#tabList put:(holder := ValueHolder new)
-    ].
-    ^ holder
+    ^ builder nilValueAspectFor:#tabList
+
+    "Modified: 28.7.1997 / 13:11:17 / cg"
 !
 
 tabModel
@@ -2255,7 +2252,7 @@
 drawLabelIndex:anIndex atX:x y:yCenter
     "draw text label assigned to a node at x y( center)
     "
-    |y type item|
+    |y x2 type item|
 
     item := (listOfNodes at:anIndex) contents.
     type := item separatorType.
@@ -2264,14 +2261,18 @@
         super drawLabelIndex:anIndex atX:x y:yCenter
     ] ifFalse:[
         type == #blank ifFalse:[
-            self displayLineFromX:x y:yCenter toX:(x + 80) y:yCenter.
+            x2 := x + 80.
+
+            self displayLineFromX:x y:yCenter toX:x2 y:yCenter.
 
             type == #double ifTrue:[
-		y := yCenter + 2.
-                self displayLineFromX:x y:y toX:(x + 80) y:y.
+                y := yCenter + 2.
+                self displayLineFromX:x y:y toX:x2 y:y.
             ]    
         ]
     ]
+
+    "Modified: 28.7.1997 / 13:13:41 / cg"
 !
 
 figureFor:aNode