diff -r bf0b63015196 -r 420e4af41733 d_portable.rc
--- a/d_portable.rc	Tue Aug 09 00:33:56 1994 +0200
+++ b/d_portable.rc	Tue Aug 09 00:35:25 1994 +0200
@@ -1,9 +1,23 @@
 "*
  * $Header$
- * display configuration - for my portable-pc (gas plasma b&w vga / 8514 color)
+ *
+ * display configuration - for my portable-pc (gas plasma b&w vga or 8514 color)
  *"
 
+"*
+ * view style
+ *"
+" "
 View defaultStyle:#iris
+" "
+
+" 
+View defaultStyle:#mswindows
+" 
+
+" 
+View defaultStyle:#openwin
+" 
 !
 
 "*
@@ -32,6 +46,8 @@
 !
 "*
  * figure out if running on plasma or color display
+ * (the plasma display works with 640x480 only;
+ *  the 8514 has 1024x768 resolution)
  */"
 Display width == 640 ifTrue:[
     "*