[no subject]

[Gavin D. Smith]

branch: master
commit 3640cd82dd1943ed30038a5dce5dde3d0d3a8661
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Sun Oct 20 14:31:10 2019 +0100

    reset toc for new manual
---
 js/infog/main.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/js/infog/main.c b/js/infog/main.c
index cad23e27be..7d75dd4e75 100644
--- a/js/infog/main.c
+++ b/js/infog/main.c
@@ -333,13 +333,12 @@ socket_cb (GSocket *socket,
 
           save_completions (p);
           continue_to_load_index_nodes ();
-          /* Note - an index could be sent in several packets.  Should we wait 
-             until all of them have been sent before loading the next one? */
         }
       else if (!strcmp (buffer, "new-manual"))
         {
           debug (1, "NEW MANUAL %s\n", p + 1);
           clear_completions ();
+          gtk_list_store_clear (toc_store);
 
           char *q = strchr (p + 1, '\n');
           if (!q)