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

jEdit is a programmer's text editor written in Java.

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

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

Status: open

Owner: Andre Kaplan

Labels: WhiteSpace (5)

Priority: 5

Updated: 2012-02-10

Created: 2002-08-27

Creator: Bing Mark

Private: 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 - 2003-05-29

labels: 102671 -->

milestone: 101609 -->
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Brad Mace - 2003-06-17

assigned_to: nobody --> akaplan
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Jarek Czekalski - 2012-02-10

labels: --> WhiteSpace
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

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

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

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

Discussion