Merge branch 'develop' into latest_help50

Author: rongxin-liu

devcontainer.json

@@ -138,7 +138,7 @@
                 "java.server.launchMode": "Standard",
                 "java.configuration.runtimes": [
                     {
-                        "name": "JavaSE-22",
+                        "name": "JavaSE-23",
                         "path": "/opt/jdk",
                         "default": true
                     }
@@ -219,6 +219,7 @@
                 "workbench.editor.closeOnFileDelete": true,
                 "workbench.editor.enablePreview": false,
                 "workbench.iconTheme": "vs-minimal", /* Simplify icons */
+                "workbench.layoutControl.enabled": false,
                 "workbench.preferredDarkColorTheme": "GitHub Dark Default",
                 "workbench.preferredLightColorTheme": "GitHub Light Default",
                 "workbench.startupEditor": "none",