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

[<eb...@dr...>]

I rewrited history in my repository, thus there is only the corrected
patch. This is principially the same as if I did another branch with
corrected patch. Thus if somebody already checked out branch
master of my notion-doc repository, then he has to delete it. And
checkout again.

I append the new patch here, there have been enough mails because of
few lines of documentation.

diff --git a/de.tex b/de.tex
index bdc6d5f..634c550 100644
--- a/de.tex
+++ b/de.tex
@@ -404,12 +404,18 @@ engine configuration file.
         long as no other tab has to be truncated in the case of the 
         \codestr{proportional} or \codestr{elastic} algorithm. Also
minimum size of a tab in shaped frame (for all algorithms). \\
-\code{floatframe_tab_min_w} & Minimum tab width in pixels for
-        the shaped style, given that this number times number of tabs
-        doesn't exceed frame width. \\
+\code{floatframe_tab_min_w} & Alias for \code{frame_tab_min_w}.
+       This is an old name of the variable from times when the only
algorithm
+       was \codestr{equal}. \\
+\code{frame_propor_tab_min_w} & Absolute minimum size of an elastic or
+       proportional tab, \codestr{elastic} and \codestr{proportional}
+        algorithms truncate other tabs rather than shortening a short
+       tab below this size. \\
 \code{floatframe_bar_max_w_q} & Maximum tab-bar width quotient of
        frame width for the shaped styles. A number in the 
-       interval $(0, 1]$.
+       interval $(0, 1]$. This quotient is maintained even if
+       the tabs have to be smaller than \code{frame_tab_min_w}
+       or \code{frame_propor_tab_min_w} to fit.
 \end{tabularx}

On Fri, 18 Feb 2011 01:11:46 +0100
Arnout Engelen <no...@bz...> wrote:
> 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
> 


-- 
                                 Tomáš 'ebík' Ebenlendr
                                 PF 2011.13167687722