added "reset" code for the new auto_shrink tool options.

2001-11-21  Michael Natterer  <mitch@gimp.org>

	* app/tools/selection_options.c: added "reset" code for the new
	auto_shrink tool options.
This commit is contained in:
Michael Natterer 2001-11-21 00:34:12 +00:00 committed by Michael Natterer
parent 7662431c56
commit b3e5046e9b
3 changed files with 29 additions and 4 deletions

View File

@ -1,3 +1,8 @@
2001-11-21 Michael Natterer <mitch@gimp.org>
* app/tools/selection_options.c: added "reset" code for the new
auto_shrink tool options.
2001-11-21 Michael Natterer <mitch@gimp.org>
* pixmaps/Makefile.am

View File

@ -374,8 +374,10 @@ selection_options_reset (GimpToolOptions *tool_options)
}
if (options->antialias_w)
gtk_toggle_button_set_active (GTK_TOGGLE_BUTTON (options->antialias_w),
options->antialias_d);
{
gtk_toggle_button_set_active (GTK_TOGGLE_BUTTON (options->antialias_w),
options->antialias_d);
}
if (options->sample_merged_w)
{
@ -385,6 +387,14 @@ selection_options_reset (GimpToolOptions *tool_options)
gimprc.default_threshold);
}
if (options->auto_shrink_w)
{
gtk_toggle_button_set_active (GTK_TOGGLE_BUTTON (options->auto_shrink_w),
options->auto_shrink_d);
gtk_toggle_button_set_active (GTK_TOGGLE_BUTTON (options->shrink_merged_w),
options->shrink_merged_d);
}
if (options->fixed_size_w)
{
GtkWidget *spinbutton;

View File

@ -374,8 +374,10 @@ selection_options_reset (GimpToolOptions *tool_options)
}
if (options->antialias_w)
gtk_toggle_button_set_active (GTK_TOGGLE_BUTTON (options->antialias_w),
options->antialias_d);
{
gtk_toggle_button_set_active (GTK_TOGGLE_BUTTON (options->antialias_w),
options->antialias_d);
}
if (options->sample_merged_w)
{
@ -385,6 +387,14 @@ selection_options_reset (GimpToolOptions *tool_options)
gimprc.default_threshold);
}
if (options->auto_shrink_w)
{
gtk_toggle_button_set_active (GTK_TOGGLE_BUTTON (options->auto_shrink_w),
options->auto_shrink_d);
gtk_toggle_button_set_active (GTK_TOGGLE_BUTTON (options->shrink_merged_w),
options->shrink_merged_d);
}
if (options->fixed_size_w)
{
GtkWidget *spinbutton;