#659 fix show/hide components palette

Author: mvladic

packages/project-editor/project/project.tsx

@@ -2040,25 +2040,6 @@ export class Project extends EezObject {
             LayoutModels.PROPERTIES_TAB_ID,
             settingsController.showComponentsPaletteInProjectEditor
         );
-
-        // make sure Properties tab width is not 0
-        const propertiesNode = this._store.layoutModels.rootEditor.getNodeById(
-            LayoutModels.PROPERTIES_TAB_ID
-        );
-        if (propertiesNode) {
-            const rect = propertiesNode.getRect();
-            if (rect.width == 0) {
-                const parent = propertiesNode.getParent();
-                if (parent) {
-                    this._store.layoutModels.rootEditor.doAction(
-                        FlexLayout.Actions.updateNodeAttributes(
-                            parent.getId(),
-                            { width: 420 }
-                        )
-                    );
-                }
-            }
-        }
     }
 
     get missingExtensions() {

packages/project-editor/store/layout-models.tsx

@@ -387,8 +387,7 @@ export class LayoutModels extends AbstractLayoutModels {
                         children: [
                             {
                                 type: "row",
-                                weight: 0,
-                                width: 350,
+                                weight: 15,
                                 children: [
                                     {
                                         type: "tabset",
@@ -433,16 +432,15 @@ export class LayoutModels extends AbstractLayoutModels {
                             },
                             {
                                 type: "tabset",
-                                weight: 100,
+                                weight: 65,
                                 enableDeleteWhenEmpty: false,
                                 enableClose: false,
                                 id: LayoutModels.EDITOR_MODE_EDITORS_TABSET_ID,
                                 children: []
                             },
                             {
                                 type: "row",
-                                weight: 0,
-                                width: 420,
+                                weight: 20,
                                 children: [
                                     {
                                         type: "tabset",