ui: UI&UX enhance, bug fixes

Co-authored-by: panda <panda_dtdyy@outlook.com>

packages/ui-default/package.json

@@ -10,7 +10,7 @@
     "lint": "eslint ."
   },
   "devDependencies": {
-    "@blueprintjs/core": "^3.54.0",
+    "@blueprintjs/core": "^4.2.1",
     "@fontsource/dm-mono": "^4.5.7",
     "@fontsource/fira-code": "^4.5.8",
     "@fontsource/inconsolata": "^4.5.4",
@@ -37,6 +37,7 @@
     "clipboard": "^2.0.10",
     "copy-webpack-plugin": "^6.4.1",
     "css-loader": "^4.3.0",
+    "diff": "^5.0.0",
     "diff-dom": "^4.2.3",
     "echarts": "^5.3.2",
     "emojis-keywords": "2.0.0",