docs: Don't use GtkEventBox

2017-08-02 16:55:25 +01:00
parent b6efd89225
commit cdba1b8ac8
1 changed files with 6 additions and 2 deletions
--- a/docs/tools/widgets.c
+++ b/docs/tools/widgets.c
@@ -926,8 +926,12 @@ create_notebook (void)
  gtk_notebook_append_page (GTK_NOTEBOOK (widget), 
 			    gtk_label_new ("Notebook"),
 			    NULL);
-  gtk_notebook_append_page (GTK_NOTEBOOK (widget), gtk_event_box_new (), NULL);
-  gtk_notebook_append_page (GTK_NOTEBOOK (widget), gtk_event_box_new (), NULL);
+  gtk_notebook_append_page (GTK_NOTEBOOK (widget),
+			    gtk_label_new ("Notebook"),
+			    NULL);
+  gtk_notebook_append_page (GTK_NOTEBOOK (widget),
+			    gtk_label_new ("Notebook"),
+			    NULL);

  return new_widget_info ("notebook", widget, MEDIUM);
 }