styles/mswindows8.style
changeset 8424 9e10ec98e48a
parent 8413 7bd42515069d
child 8944 1107b103868c
--- a/styles/mswindows8.style	Thu Jul 05 08:31:08 2018 +0200
+++ b/styles/mswindows8.style	Thu Jul 05 12:55:17 2018 +0200
@@ -249,3 +249,5 @@
 editField.selectionForegroundColor   (Color white)
 
 scrolledView.level      0
+variablePanel.snapLevel        0      "only if not #line"
+infobar.level                           0