--- a/TabListEditor.st	Mon Aug 26 09:08:45 2019 +0200
+++ b/TabListEditor.st	Tue Aug 27 00:47:52 2019 +0200
@@ -720,7 +720,6 @@
              layout: (LayoutFrame 0 0.0 0 0.0 0 1.0 34 0)
              uuid: 'b2e02c78-761b-11e9-98ea-b8f6b1108e05'
              menu: menuToolbar
-             showSeparatingLines: true
            )
           (VariableHorizontalPanelSpec
              name: 'VariablePanel'