1039
1030
data.paned_position = gtk_paned_get_position (GTK_PANED (paned));
1040
1031
data.show_index = GTK_WIDGET_VISIBLE (sidebar);
1044
1034
webkit_web_view_get_zoom_level (WEBKIT_WEB_VIEW (view)) : 1.0);
1049
1036
gimp_set_data (GIMP_HELP_BROWSER_DIALOG_DATA, &data, sizeof (data));