From ae527a78ef13d478068cdf3eeda61109a22ba0b6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E9=9F=A6=E8=8D=A3=E8=B6=85?= <302645122@qq.com> Date: Tue, 15 Feb 2022 15:02:32 +0800 Subject: [PATCH] =?UTF-8?q?perf:=20=E3=80=90=E6=96=87=E4=BB=B6=E3=80=91?= =?UTF-8?q?=E6=B5=81=E7=A8=8B=E5=9B=BE=E6=96=B0=E7=BB=84=E4=BB=B6=E6=B7=BB?= =?UTF-8?q?=E5=8A=A0=E5=88=87=E6=8D=A2=E7=9A=AE=E8=82=A4=E4=B8=BB=E9=A2=98?= =?UTF-8?q?=E5=8A=9F=E8=83=BD?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- public/js/drawio/index.html | 31 +--- public/js/drawio/js/diagramly/Init.js | 1 + public/js/drawio/js/grapheditor/Dark.js | 165 ++++++++++++++++++ public/js/drawio/js/grapheditor/Init.js | 1 + .../drawio/stencils/clipart/Gear_128x128.png | Bin 10678 -> 9193 bytes .../public/js/drawio/images/manifest.json | 2 +- .../statics/public/js/drawio/index.html | 31 +--- .../public/js/drawio/js/diagramly/Init.js | 1 + .../public/js/drawio/js/grapheditor/Dark.js | 165 ++++++++++++++++++ .../public/js/drawio/js/grapheditor/Init.js | 1 + 10 files changed, 349 insertions(+), 49 deletions(-) create mode 100644 public/js/drawio/js/grapheditor/Dark.js create mode 100644 resources/assets/statics/public/js/drawio/js/grapheditor/Dark.js diff --git a/public/js/drawio/index.html b/public/js/drawio/index.html index 8171bf78..b35da59d 100644 --- a/public/js/drawio/index.html +++ b/public/js/drawio/index.html @@ -2,20 +2,13 @@
-