Re: [Notion-devel] [PATCH] Document frame_propor_tab_min_w.

[Arnout E. <no...@bz...>]

On Fri, Feb 18, 2011 at 12:09:47AM +0100, Tomáš Ebenlendr wrote:
> +	interval $(0, 1]$. This quotient is maintained even if
> +	the tabs has to be smaller than \code{frame_tab_min_w}
> +	or \code{frame_propor_tab_min_w} to fit.

I guess this should be 'the tabs have to be smaller than'.

If you fix this can I pull this addition as one complete 'fixed' commit into 
the notion repo? Or is this tricky to do in git?


Arnout