replace userFriendlyName by
authorClaus Gittinger <cg@exept.de>
Mon, 30 Aug 1999 17:14:52 +0200
changeset 1204 faff065c78fd
parent 1203 3b2edc8f4164
child 1205 71fe2a968b1d
replace userFriendlyName by documentFileName
UIPainter.st
--- a/UIPainter.st	Tue Aug 24 10:18:56 1999 +0200
+++ b/UIPainter.st	Mon Aug 30 17:14:52 1999 +0200
@@ -3332,14 +3332,14 @@
     |spec document|
 
     (spec := self specForSelection) isNil ifTrue:[
-	treeView isCanvasSelected ifTrue:[
-	    spec := nil
-	]
+        treeView isCanvasSelected ifTrue:[
+            spec := nil
+        ]
     ].
     spec notNil ifTrue:[
-	document := 'tools/uipainter/', spec userFriendlyName,'.html'
+        document := 'tools/uipainter/', spec documentFileName,'.html'
     ] ifFalse: [
-	document := 'tools/uipainter/WindowSpec.html'
+        document := 'tools/uipainter/WindowSpec.html'
     ].
     HTMLDocumentView openFullOnDocumentationFile: document