[no subject]

[Gavin D. Smith]

branch: master
commit 3ed0fc3e36338e41c58b40d06131de62460cd525
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Mon Oct 21 23:33:13 2019 +0100

    add header bar and buttons
---
 js/infog/extension.c |  1 -
 js/infog/main.c      | 14 ++++++++++++++
 2 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/js/infog/extension.c b/js/infog/extension.c
index 38076e3862..5a42c2b7f6 100644
--- a/js/infog/extension.c
+++ b/js/infog/extension.c
@@ -372,7 +372,6 @@ send_toc (WebKitDOMDocument *dom_document)
 
   build_toc_string (toc, toc_elt);
 
-  g_print ("SEND TOB |%s|\n", toc->str);
   packetize ("toc", toc);
   g_string_free (toc, TRUE);
 }
diff --git a/js/infog/main.c b/js/infog/main.c
index 131c4c5e33..801f3a700d 100644
--- a/js/infog/main.c
+++ b/js/infog/main.c
@@ -616,6 +616,10 @@ find_extensions_directory (int argc, char *argv[])
 
 static GMainLoop *main_loop;
 
+GtkHeaderBar *header_bar;
+GtkWidget *back_button;
+GtkWidget *help_button;
+
 void
 build_gui (void)
 {
@@ -626,6 +630,16 @@ build_gui (void)
   main_window = gtk_window_new(GTK_WINDOW_TOPLEVEL);
   gtk_window_set_default_size(GTK_WINDOW(main_window), 800, 600);
 
+  header_bar = GTK_HEADER_BAR(gtk_header_bar_new ());
+  gtk_header_bar_set_title (header_bar, "Info");
+  gtk_header_bar_set_show_close_button (header_bar, TRUE);
+  gtk_window_set_titlebar (GTK_WINDOW(main_window), GTK_WIDGET(header_bar));
+
+  back_button = gtk_button_new_with_mnemonic ("_Back");
+  gtk_header_bar_pack_start (header_bar, back_button);
+  help_button = gtk_button_new_with_mnemonic ("_Help");
+  gtk_header_bar_pack_start (header_bar, help_button);
+
   GtkBox *box = GTK_BOX(gtk_box_new (GTK_ORIENTATION_VERTICAL, 0));
 
   GtkPaned *paned = GTK_PANED(gtk_paned_new (GTK_ORIENTATION_HORIZONTAL));