diff options
Diffstat (limited to 'docs/tools/widgets.c')
| -rw-r--r-- | docs/tools/widgets.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/tools/widgets.c b/docs/tools/widgets.c index f3dc8bee1f..c468f5a8c6 100644 --- a/docs/tools/widgets.c +++ b/docs/tools/widgets.c @@ -35,7 +35,6 @@ new_widget_info (const char *name, else { info->window = gtk_window_new (GTK_WINDOW_TOPLEVEL); - gtk_window_set_has_resize_grip (GTK_WINDOW (info->window), FALSE); gtk_container_set_border_width (GTK_CONTAINER (info->window), 12); info->include_decorations = FALSE; gtk_widget_show_all (widget); |