fix symbol input

app.py

@@ -122,25 +122,6 @@ def create_to_symbol_fn(hps):
 
     return to_symbol_fn
 
-
-download_audio_js = """
-() =>{{
-    let root = document.querySelector("body > gradio-app");
-    if (root.shadowRoot != null)
-        root = root.shadowRoot;
-    let audio = root.querySelector("#{audio_id}").querySelector("audio");
-    if (audio == undefined)
-        return;
-    audio = audio.src;
-    let oA = document.createElement("a");
-    oA.download = Math.floor(Math.random()*100000000)+'.wav';
-    oA.href = audio;
-    document.body.appendChild(oA);
-    oA.click();
-    oA.remove();
-}}
-"""
-
 if __name__ == '__main__':
     parser = argparse.ArgumentParser()
     parser.add_argument('--device', type=str, default='cpu')
@@ -221,7 +202,7 @@ if __name__ == '__main__':
                                     symbol_list = gr.Dataset(label="Symbol list", components=[tts_input1],
                                                              samples=[[x] for x in symbols],
                                                              elem_id=f"symbol-list{i}")
-                                    symbol_list_json = gr.Json(value=symbols, visible=False)
+                                    symbol_list_state = gr.State(value=symbols)
                                 tts_submit = gr.Button("Generate", variant="primary")
                                 tts_output1 = gr.Textbox(label="Output Message")
                                 tts_output2 = gr.Audio(label="Output Audio", elem_id=f"tts-audio{i}")
@@ -230,7 +211,7 @@ if __name__ == '__main__':
                                 symbol_input.change(to_symbol_fn,
                                                     [symbol_input, tts_input1, temp_text_var],
                                                     [tts_input1, temp_text_var])
-                                symbol_list.click(None, [symbol_list, symbol_list_json], [],
+                                symbol_list.click(None, [symbol_list, symbol_list_state], [],
                                                   js=f"""
                                 (i,symbols) => {{
                                     let root = document.querySelector("body > gradio-app");
@@ -240,6 +221,7 @@ if __name__ == '__main__':
                                     let startPos = text_input.selectionStart;
                                     let endPos = text_input.selectionEnd;
                                     let oldTxt = text_input.value;
+                                    console.log(i, symbols, symbols[i])
                                     let result = oldTxt.substring(0, startPos) + symbols[i] + oldTxt.substring(endPos);
                                     text_input.value = result;
                                     let x = window.scrollX, y = window.scrollY;