--- 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:[
"*