From 7f76f827ebed8432bb2bd670dddbcf2233581b94 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 24 Jun 2021 14:18:03 -0400
Subject: [PATCH] Csv.ImportWithHeader1: change notification

---
 csv.ur  | 7 ++++---
 csv.urs | 1 +
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/csv.ur b/csv.ur
index c51fd4d..5c3a887 100644
--- a/csv.ur
+++ b/csv.ur
@@ -313,6 +313,7 @@ functor ImportWithHeader1(M : sig
                               constraint fs ~ fsC
                               con cs :: {{Unit}}
                               val tab : sql_table (fs ++ fsC) cs
+                              val title : string
 
                               val injs : $(map sql_injectable (fs ++ fsC))
                               val reads : $(map read fs)
@@ -339,7 +340,7 @@ functor ImportWithHeader1(M : sig
            | Uploading
            | UploadFailed
            | Uploaded
-         
+
     type a = {UploadStatus : source uploadStatus,
               PasteHere : source string,
               Subwidget : source refreshed}
@@ -369,8 +370,8 @@ functor ImportWithHeader1(M : sig
           | AjaxUpload.Found r =>
             case textOfBlob r.Content of
                 None => error <xml>Uploaded file is not text.</xml>
-              | Some s => import s
-                   
+              | Some s => import s; ChangeWatcher.changed title
+
     val subwidget = refreshed.Create
 
     fun refresh a =
diff --git a/csv.urs b/csv.urs
index 06e54ac..c71e6dc 100644
--- a/csv.urs
+++ b/csv.urs
@@ -79,6 +79,7 @@ functor ImportWithHeader1(M : sig
                               constraint fs ~ fsC
                               con cs :: {{Unit}}
                               val tab : sql_table (fs ++ fsC) cs
+                              val title : string
 
                               val injs : $(map sql_injectable (fs ++ fsC))
                               val reads : $(map read fs)