Re: mixer applet request

[Miguel de Icaza <miguel gnu org>]

> Could I suggest the following change to the mixer-applet?
> 
> 
> --- oldmixer.c     Sat Aug 14 19:12:40 1999
> +++ mixer.c        Sat Aug 14 19:11:31 1999
> 
> @@ -373,7 +365,7 @@
> 	   gtk_scale_set_draw_value(GTK_SCALE(vscale), FALSE);
> 	   gtk_scale_set_draw_value(GTK_SCALE(hscale), FALSE);
> 
> -       gtk_widget_set_usize(GTK_WIDGET(vscale), 25, 32);
> +       gtk_widget_set_usize(GTK_WIDGET(vscale), 15, 32);
> 	  gtk_widget_set_usize(GTK_WIDGET(hscale), 36, 20);
> 
> This saves me panel space! A precious commodity.
> 
> Would this be very wrong?

Was this patch ever considered for inclussion on GNOME?