Re: mp 3.3.17

Thanks this should help.

Angel Ortega wrote:
> On Mon, Sep 18, 2006 at 05:20:12PM +0200, Jeno Varga wrote:
> 
>> Hi,
>>
>> Just a quick question: is it a known issue that the editor main window 
>> size can not be set below 600x400 using the window manager or command 
>> line option. It is a new issue (at least for me) as I used an earlier 
>> version where it was not a problem.
>> I have tried few things like changing config file default window size, 
>> even tryed to comment out the 150 size limit in the code but have the 
>> same result.
>> Any idea?
>>
>> I have a gentoo based system with gnome 2.14 and gtk+2.8.18.
> 
> If I recall correctly, I needed to set a minimum size for the main area to
> avoid window managers to open MP at ridiculously small sizes. Maybe things
> have changed, but I doubt it.
> 
> Apply the attached patch to comment the line where the minimum size is
> forced. This way you can have a MP as small as the menu.
> 
> Regards,
> 
> 
> 
> ------------------------------------------------------------------------
> 
> --- mpv_gtk.c	(revision 5415)
> +++ mpv_gtk.c	(working copy)
> @@ -2085,7 +2085,7 @@
>  	/* the Minimum Profit area */
>  	area=gtk_drawing_area_new();
>  	gtk_box_pack_start(GTK_BOX(hbox),area,TRUE,TRUE,0);
> -	gtk_widget_set_usize(GTK_WIDGET(area), 600, 400);
> +/*	gtk_widget_set_usize(GTK_WIDGET(area), 600, 400);*/
>  	gtk_widget_set_events(GTK_WIDGET(area),GDK_BUTTON_PRESS_MASK);
>  
>  #if GTK_MAJOR_VERSION >= 2



-- 
To unsubscribe, send mail to mp-unsubscribe_lists.triptico.com.