diff options
author | Joris | 2024-04-05 20:44:08 +0200 |
---|---|---|
committer | Joris | 2024-04-05 20:44:08 +0200 |
commit | 57bf8e693727e63e7acc1aa2780c19948dc8de06 (patch) | |
tree | 087d302f194c99e02e2cacd2d1a7abf11329c9e7 /public | |
parent | aae7e39dc5b5e6c61247fdb5b2b36a2e5a9bcaaa (diff) |
Represent chords with clearer ascii characters
Diffstat (limited to 'public')
-rw-r--r-- | public/main.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/public/main.js b/public/main.js index db9a9f9..46ce5e0 100644 --- a/public/main.js +++ b/public/main.js @@ -5,7 +5,7 @@ function appendElement(parentElement, tag) { parentElement.appendChild(element) return element } - + function appendText(parentElement, text) { element = document.createTextNode(text) parentElement.appendChild(element) @@ -40,7 +40,7 @@ function applyShift(tonalities, t1, s) { const node = document.getElementById('g-Tonality') if (node !== null) { let tonality = node.innerText - mode = tonality[tonality.length - 1] == 'm' ? 'm' : '' + mode = tonality[tonality.length - 1] == 'ₘ' ? 'ₘ' : '' select = document.createElement('select') select['name'] = 'tonality' |