mailing-list for TeXmacs Users

[David Allouche <address@hidden>]

On Fri, 2005-12-02 at 08:27 -0700, Kris Kuhlman wrote:
> Mingfeng Yang wrote:
> > What's the unit for interline spacing in TeXmacs? And what's the 
> > difference between "interline space" and "interline separation"?
> 
> I believe an "interline space" of 1.0fn would be what is usually 
> considered double spacing.  I think "interline separation" is the 
> minimum amount of clearance required between things that stick up from 
> below and things that stick down from above (big fractions, etc).

A looong time ago, a I figured out the meaning of those variables by
examining the source code. You can find the documentation I wrote on
this page:

http://www.alqua.com/tmresources/DoubleInterline

-- 
                                                            -- ddaa

Attachment: signature.asc
Description: This is a digitally signed message part