private.rc
changeset 195 1cf850844da9
parent 191 d4fd573f9531
child 198 7bbdd3d72cea
--- a/private.rc	Thu Jan 09 19:08:04 1997 +0100
+++ b/private.rc	Fri Jan 10 19:34:12 1997 +0100
@@ -53,7 +53,7 @@
 
 |whoAmI thisIsMySystem conf systemType|
 
-'reading keyboard.rc ...' infoPrintCR.
+'private.rc [info]: reading ''keyboard.rc'' ...' infoPrintCR.
 Smalltalk fileIn:'keyboard.rc'.
 
 "/
@@ -121,7 +121,7 @@
 "/
 thisIsMySystem ifTrue:[
     HistoryManager notNil ifTrue:[
-	'activating HistoryManager ...' infoPrintCR.
+	'private.rc [info]: activating HistoryManager ...' infoPrintCR.
 	HistoryManager activate.
     ]
 ].
@@ -131,7 +131,7 @@
 "/     (using rdoit to start ST/X views via window manager menus ...)
 "/
 thisIsMySystem ifTrue:[
-    'starting RDoItServer ...' infoPrintCR.
+    'private.rc [info]: starting RDoItServer ...' infoPrintCR.
     RDoItServer autoload.
     RDoItServer start.
     RDoItServer allowHost:'localhost'.
@@ -298,7 +298,7 @@
     "/ the first time.
     "/
 
-    'starting main-menu ...' infoPrintCR.
+    'private.rc [info]: starting main-menu ...' infoPrintCR.
     Launcher open
 
     "/