add Composition Page (RWKV-Music)

2023-07-28 12:30:05 +08:00
parent d0fd480bd6
commit daabcf58a0
20 changed files with 2565 additions and 144 deletions
--- a/frontend/src/types/html-midi-player.d.ts
+++ b/frontend/src/types/html-midi-player.d.ts
@@ -0,0 +1,9 @@
+declare module JSX {
+  import { PlayerElement } from 'html-midi-player';
+  import { VisualizerElement } from 'html-midi-player';
+
+  interface IntrinsicElements {
+    'midi-player': PlayerElement;
+    'midi-visualizer': VisualizerElement;
+  }
+}