#36 whitespace para != jedit para (\n\n)

open
WhiteSpace (5)
5
2012-02-10
2002-08-27
Bing Mark
No

The whitespace plugin uses a non-standard delimiter for
paragraphs, i.e. 2 blank lines. Whereas jEdit uses the
standard TeX definition of a new paragraph (cf. User's
Guide "Working with Paragraphs") i.e. a single blank
line.

Is there a way to change the Whitespace plugin's
behavior?

Discussion

  • Slava Pestov

    Slava Pestov - 2003-05-29
    • labels: 102671 -->
    • milestone: 101609 -->
     
  • Brad Mace

    Brad Mace - 2003-06-17
    • assigned_to: nobody --> akaplan
     
  • Jarek Czekalski

    Jarek Czekalski - 2012-02-10
    • labels: --> WhiteSpace
     

Log in to post a comment.