From 9f2bc146c0c5de40ac5a2953447d32083e9d157c Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Thu, 24 Feb 2022 20:16:21 +0100 Subject: [PATCH] fix: webmidi hints --- repl/src/App.tsx | 8 ++++---- repl/src/midi.ts | 11 +++++++++-- repl/src/useRepl.ts | 6 +++--- 3 files changed, 16 insertions(+), 9 deletions(-) diff --git a/repl/src/App.tsx b/repl/src/App.tsx index ddaee1ad..fd8d029d 100644 --- a/repl/src/App.tsx +++ b/repl/src/App.tsx @@ -68,13 +68,13 @@ function App() { useWebMidi({ ready: useCallback(({ outputs }) => { - pushLog(`WebMidi ready! Just add .midi(${outputs.map((o) => `"${o.name}"`).join(' | ')}) to the pattern. `); + pushLog(`WebMidi ready! Just add .midi(${outputs.map((o) => `'${o.name}'`).join(' | ')}) to the pattern. `); }, []), connected: useCallback(({ outputs }) => { - pushLog(`Midi device connected! Available: ${outputs.map((o) => `"${o.name}"`).join(', ')}`); + pushLog(`Midi device connected! Available: ${outputs.map((o) => `'${o.name}'`).join(', ')}`); }, []), disconnected: useCallback(({ outputs }) => { - pushLog(`Midi device disconnected! Available: ${outputs.map((o) => `"${o.name}"`).join(', ')}`); + pushLog(`Midi device disconnected! Available: ${outputs.map((o) => `'${o.name}'`).join(', ')}`); }, []), }); @@ -123,7 +123,7 @@ function App() { {error && ( -
{error?.message || 'unknown error'}
+
{error?.message || 'unknown error'}
)}