Update app.py

app.py

@@ -338,16 +338,16 @@ def run_query(query_text, category, country, capacity, refresh):
     return df, ts, gr.update(choices=[""] + live_categories)
 
 # ---------------- Gradio UI ----------------
-with gr.Blocks(title="🧳 Torn Inventory Viewer") as iface:
-    gr.Markdown("## 🧳 Torn Inventory Viewer")
-    gr.Markdown("_Search Torn YATA travel stocks — timestamps shown in your local timezone._")
+with gr.Blocks(title="🧳 Torn Foreign Stocks") as iface:
+    gr.Markdown("## 🧳 Torn Foreign Stocks")
+    gr.Markdown("_Search YATA's Foreign Stocks_")
 
     # Convenience buttons
     with gr.Row():
         btn_short = gr.Button("🌸 Flushies (short haul)")
         btn_medium = gr.Button("🧸 Flushies (medium haul)")
         btn_long = gr.Button("🎁 Flushies (long haul)")
-        btn_xanax = gr.Button("💊 Xanax")
+        btn_xanax = gr.Button("💊 Xanax (SA)")
         btn_temps = gr.Button("🧨 Temps")
 
     query_box = gr.Textbox(label="Search (semantic, e.g. 'flowers in England')")
@@ -392,24 +392,39 @@ with gr.Blocks(title="🧳 Torn Inventory Viewer") as iface:
     # --- JS: convert all UTC ISO timestamps to browser's local time ---
     gr.HTML("""
     <script>
-    (function(){
-      function convertTimesToLocal(){
-        const elems = document.querySelectorAll("td, textarea, input");
-        const fmt = new Intl.DateTimeFormat([], {year:"numeric", month:"2-digit", day:"2-digit",
-                                                 hour:"2-digit", minute:"2-digit", second:"2-digit"});
-        elems.forEach(el=>{
-          const text = el.value || el.textContent;
-          if (text && /^\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}Z$/.test(text.trim())){
-            try{
-              const dt = new Date(text.trim());
-              const local = fmt.format(dt);
-              if (el.value !== undefined) el.value = local;
-              else el.textContent = local;
-            }catch{}
-          }
+    (function () {
+      // Convert any ISO-UTC (…Z) timestamp found in component text/values to the browser's local time
+      function convertTimesToLocal() {
+        const isoRe = /\\b\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}Z\\b/g;
+        const fmt = new Intl.DateTimeFormat([], {
+          year: "numeric", month: "2-digit", day: "2-digit",
+          hour: "2-digit", minute: "2-digit", second: "2-digit"
         });
+    
+        function processRoot(root) {
+          const elems = root.querySelectorAll("td, textarea, input, div, span");
+          elems.forEach(el => {
+            // Prefer .value for inputs/textareas; otherwise use textContent
+            if (typeof el.value === "string") {
+              const v = el.value;
+              if (isoRe.test(v)) {
+                el.value = v.replace(isoRe, m => fmt.format(new Date(m)));
+              }
+            } else if (el.textContent && isoRe.test(el.textContent)) {
+              el.textContent = el.textContent.replace(isoRe, m => fmt.format(new Date(m)));
+            }
+          });
+        }
+    
+        // Handle regular DOM and Gradio's shadow DOM
+        const roots = [document];
+        const app = document.querySelector("gradio-app");
+        if (app && app.shadowRoot) roots.push(app.shadowRoot);
+        roots.forEach(processRoot);
       }
-      setInterval(convertTimesToLocal, 1000);
+    
+      // Run periodically to catch re-renders
+      setInterval(convertTimesToLocal, 800);
     })();
     </script>
     """)