Increase timestamp capture precision

app.py

@@ -131,7 +131,7 @@ with gr.Blocks(theme=gr.themes.Soft(), head=head_html, css="style_overrides.css"
                                                      container=True, show_label=False)
                 now_timestamp = gr.Textbox(info="Current time",
                                            interactive=False, container=True, show_label=False,
-                                           value=lambda: datetime.now().isoformat(), every=1.0,
+                                           value=lambda: datetime.now().isoformat(), every=0.1,
                                            label='submitted_ts')
 
     commit_view = [
@@ -182,6 +182,7 @@ with gr.Blocks(theme=gr.themes.Soft(), head=head_html, css="style_overrides.css"
         for i, s in enumerate(ndiff(prev_message, message)):
             diff = char_diff_obj(s[0], i, s[-1], timestamp)
             if diff['type'] in ('+', '-'):
+                print(diff)
                 history.append(diff)
         return message, history