#1954 Text fill

closed
nobody
5
2004-01-25
2004-01-06
P Cause
No

I'm entering English language text. If I fill the
document/region and there is a period (.) followed by 2
spaces, jEdit will toss one of the spaces. This is a real
problem if the buffer is English language text, since the
spaces are required for a properly formatted document.

I looked at the code and see the the problem is is a
Java class you use to find breaks in words. To fix this
would require that you stop using this class and do
some fancy parsing yourself.

Another solution might be to have a buffer option /
mode option that says ths is English sentences". In
that case, before you fill if you replace all ". " with
something, then fill it might work.

Discussion

  • Slava Pestov

    Slava Pestov - 2004-01-25
    • status: open --> closed
     
  • Slava Pestov

    Slava Pestov - 2004-01-25

    Logged In: YES
    user_id=2280

    Do not submit feature requests to the bug tracker... this
    will have to wait for 4.3.

     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks