[ jEdit-devel ] [ jedit-Plugin Bugs-1962038 ] WhiteSpace broken in 4.3pre14

[SourceForge.net <no...@so...>]

Plugin Bugs item #1962038, was opened at 2008-05-11 16:02
Message generated for change (Comment added) made by sf-robot
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=1962038&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
>Status: Closed
Resolution: Invalid
Priority: 5
Private: No
Submitted By: JavaWoman (stagomantis)
Assigned to: Nobody/Anonymous (nobody)
Summary: WhiteSpace broken in 4.3pre14

Initial Comment:
Just started with jEdit, latest 'pre' release 4.3pre14.

Trying to use WhiteSpace, I find most of it doesn't work:
- I don't see any spaces except at the end of the line
- I don't see any tabs anywhere
- I don't see any other whitespace
- tabify on save doesn't do anything

All that I've found to be working is a space at the end of a line, and trim whitespace at eol when saving.

I suspect this may be caused by API changes from 4.2 -> 4.3. Don't know enough Java to verify this.

If so, an update for 4.3 would be great!

----------------------------------------------------------------------

>Comment By: SourceForge Robot (sf-robot)
Date: 2008-06-18 22:20

Message:
Logged In: YES 
user_id=1312539
Originator: NO

This Tracker item was closed automatically by the system. It was
previously set to a Pending status, and the original submitter
did not respond within 14 days (the time period specified by
the administrator of this Tracker).

----------------------------------------------------------------------

Comment By: Alan Ezust (ezust)
Date: 2008-06-03 22:36

Message:
Logged In: YES 
user_id=935841
Originator: NO

setting to pending, unless there is someone else who can reproduce.


----------------------------------------------------------------------

Comment By: Seph M. Soliman (scarlac)
Date: 2008-05-12 08:19

Message:
Logged In: YES 
user_id=831311
Originator: NO

I've experienced much the same with earlier prelease versions. I remember
fixing it somehow (after much time trying to make it work with no luck),
but I don't recall why. I remember it working on a default installation, so
could you move your c:/documents and setting/<username>/.jedit folder to
some temporary name and launch jedit? If that works, it must be something
with the setup.

I just installed it on pre14 (not a fresh installation) and it works quite
fine.

Hope it helps - regards,
Seph

----------------------------------------------------------------------

Comment By: JavaWoman (stagomantis)
Date: 2008-05-12 08:06

Message:
Logged In: YES 
user_id=755264
Originator: YES

I've quadruple-checked my settings and even tried all sorts of
combinations of global settings and buffer settings before reporting here.

The only thing I could make appear was space characters provided they were
not followed by non-whitespace characters (e.g., in a line ending with
alternating TABs and spaces, only the spaces whould be shown); and the only
on-save action I could trigger was  trim EOL whitespace, but NOT tabbify.

In case it matters, I'm running jEdit on Win2000 with Java 1.5.0_10.

----------------------------------------------------------------------

Comment By: Matthieu Casanova (kpouer)
Date: 2008-05-11 16:26

Message:
Logged In: YES 
user_id=285591
Originator: NO

Hi, could you check your settings, I use this plugin with 4.3pre14 without
problems

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=1962038&group_id=588