update rightmenu.js

2021-06-29 17:12:04 +08:00
parent ce3609904e
commit 66e50b677b
4 changed files with 2114 additions and 2115 deletions
--- a/OnlineIDE.html
+++ b/OnlineIDE.html
@@ -35,6 +35,11 @@
    <!--script src="./js/echartsTheme.js"></script -->
    <!-- script src="./js/echarts-gl.min.js"></script -->
    <script src="./js/sm2.js"></script>
+    <script src="./js/sm3.js"></script>
+    <script src="./js/sm4.js"></script>
+
+
+    <script src="./js/sm/index.js"></script>
    <script src="./js/d3.v5.min.js"></script>
    <!-- script src="./js/dagre-d3.min.js"></script -->
    <script src="./js/tipsy/jquery.tipsy.min.js"></script>