mailing-list for TeXmacs Users

[Friedrich Laher <address@hidden>]

Dennis Heuer wrote:

thanks for the quick answers. there are still some points open, though.

  

1. since 1.0.6.12, it seems that the default style doubles the line
spacing. i couldn't find an option to turn that off except of choosing
no style at all.

 

      

Document->Spacing->Interline separation is your friend.
    

there is no such path. am i stucked in a mode again (i re-opened texmacs
  

it is
Document -> Paragraph -> Spacing