From: Richard Kettlewell <rjk@greenend.org.uk>
Date: Sun, 21 Oct 2007 19:42:33 +0000 (+0100)
Subject: more help widget fixes
X-Git-Tag: debian-1_5_99dev8~92
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/disorder/commitdiff_plain/3c46e7df09417e867dd7e632fe9bea13f1cc513d

more help widget fixes
---

diff --git a/disobedience/Makefile.am b/disobedience/Makefile.am
index 561f8bb..9b18ca9 100644
--- 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 f8e660f..3510c28 100644
--- 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);
 }