Format

app.py

@@ -87,8 +87,10 @@ with gr.Blocks() as demo:
             #fun_data = {'one': 2, 'two': 3}
             fun_data = get_all_dis(file.name)
 
+            addrs = ["%#x" % addr for addr in fun_data.keys()]
+
             return {col: gr.update(visible=True),
-                    fun_dropdown: gr.Dropdown.update(choices=list(fun_data.keys()), value=next(iter(fun_data.keys()))),
+                    fun_dropdown: gr.Dropdown.update(choices=addrs, value=addrs[0]),
                     all_dis_state: fun_data
                     }