diff options
Diffstat (limited to 'shell/main.c')
| -rw-r--r-- | shell/main.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/shell/main.c b/shell/main.c index b6e9c530ce..38b54f499b 100644 --- a/shell/main.c +++ b/shell/main.c @@ -54,6 +54,7 @@ #include <gtk/gtkdialog.h> #include <gtk/gtkstock.h> #include <gtk/gtktogglebutton.h> +#include <gtk/gtkcheckbutton.h> #include <glib/gi18n.h> #include <libgnome/gnome-util.h> |