--- a/styles/mswindows95.style Wed Aug 23 01:22:05 2000 +0200
+++ b/styles/mswindows95.style Wed Aug 23 20:50:17 2000 +0200
@@ -1,6 +1,6 @@
; View defaultStyle:#mswindows95
;
-; $Header: /cvs/stx/stx/libview/styles/mswindows95.style,v 1.28 2000-02-11 14:59:24 cg Exp $
+; $Header: /cvs/stx/stx/libview/styles/mswindows95.style,v 1.29 2000-08-23 18:50:17 cg Exp $
comment 'win95 lookalike'
@@ -148,8 +148,6 @@
selection.rightArrowStyle #solid
variablePanel.handlePosition #right
-; variablePanel.handleStyle #full
-variablePanel.handleStyle #none
#if Screen current serverVendor ~= 'Silicon Graphics'
; SGI Xserver has a bug, keeping the dashed lineStyle in its GC
@@ -159,10 +157,14 @@
variablePanel.trackingStyle #solidLine
#endif
-; variablePanel.barHeight 6
-; variablePanel.handleLevel 1
-variablePanel.barHeight 4
-variablePanel.handleLevel 0
+variablePanel.showHandle false "/ the default; can be overwritten by UI-spec
+
+; variablePanel.barHeight 4
+; variablePanel.handleLevel 0
+
+variablePanel.barHeight 6
+variablePanel.handleLevel 1
+variablePanel.handleStyle #full
scrollableView.level -1
; scrollableView.backgroundColor =viewLightGrey