--- 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