more help widget fixes

diff --git a/disobedience/Makefile.am b/disobedience/Makefile.am
index 561f8bb7e6d2755db1da4c3eb0e636be2ced02d4..9b18ca99e7b68e6a7e534e255fb20d07ecde1ce7 100644 (file)
--- a/disobedience/Makefile.am
+++ b/disobedience/Makefile.am
@@ -41,6 +41,8 @@ style.h: ${srcdir}/disobedience.rc ${top_srcdir}/scripts/text2c
        ${top_srcdir}/scripts/text2c style ${srcdir}/disobedience.rc > $@.tmp
        mv $@.tmp $@
 
+help.o: manual.h
+
 manual.html: ../doc/disobedience.1 $(top_srcdir)/scripts/htmlman
        rm -f $@.new
        $(top_srcdir)/scripts/htmlman $< >$@.new

diff --git a/disobedience/help.c b/disobedience/help.c
index f8e660f53b24c71a1aaad750ec6a99a90550680f..3510c28583e182138729e45493cf47a1db201e56 100644 (file)
--- a/disobedience/help.c
+++ b/disobedience/help.c
@@ -216,7 +216,7 @@ void popup_help(void) {
   gtk_container_add(GTK_CONTAINER(help_window),
                    scroll_widget(view,
                                  "help"));
-  gtk_window_set_default_size(GTK_WINDOW(help_window), 480, 512);
+  gtk_window_set_default_size(GTK_WINDOW(help_window), 512, 512);
   gtk_widget_show_all(help_window);
 }