equal
deleted
inserted
replaced
718 (MenuPanelSpec |
718 (MenuPanelSpec |
719 name: 'menuToolbarView' |
719 name: 'menuToolbarView' |
720 layout: (LayoutFrame 0 0.0 0 0.0 0 1.0 34 0) |
720 layout: (LayoutFrame 0 0.0 0 0.0 0 1.0 34 0) |
721 uuid: 'b2e02c78-761b-11e9-98ea-b8f6b1108e05' |
721 uuid: 'b2e02c78-761b-11e9-98ea-b8f6b1108e05' |
722 menu: menuToolbar |
722 menu: menuToolbar |
723 showSeparatingLines: true |
|
724 ) |
723 ) |
725 (VariableHorizontalPanelSpec |
724 (VariableHorizontalPanelSpec |
726 name: 'VariablePanel' |
725 name: 'VariablePanel' |
727 layout: (LayoutFrame 0 0.0 36 0.0 0 1.0 -26 1.0) |
726 layout: (LayoutFrame 0 0.0 36 0.0 0 1.0 -26 1.0) |
728 uuid: 'b2e02f48-761b-11e9-98ea-b8f6b1108e05' |
727 uuid: 'b2e02f48-761b-11e9-98ea-b8f6b1108e05' |