jEdit Community - Resources for users of the jEdit Text Editor
Marker Drift
Submitted by Kineas on Thursday, 6 January, 2011 - 13:58
Hi,

in the new (4.3.2) version of Jedit the markers no longer stick to their line "anchor". When you place a marker and save the file, the position is saved into the .marks file. If you press ENTER above the marked line it scrolls down, after a save the bookmark positions are updated in the .marks file.

But after restarting jedit the .marks file is no longer maintained, and the markers slowly drift away. Is this a known issue?

regards,
Kineas
Comment viewing options
Select your preferred way to display the comments and click 'Save settings' to activate your changes.
No
by Robert Schwenn on Fri, 07/01/2011 - 14:09
I don't think that this has been reported before. But I can't reproduce this behavior (jedit 4.3.2). Maybe it depends on the buffer content and edit mode. Did You try different buffers?

If You could provide detailed steps to reproduce the issue, please report it to the SourceForge Bug Tracker ( http://sourceforge.net/tracker/?atid=100588&group_id=588&func=browse ).
 
I downloaded the source of th
by Kineas on Fri, 07/01/2011 - 21:08
I downloaded the source of the latest stable release.

To reproduce: place some markers in a file. Close the file, then reload. Scroll the lines together with their markers by pressing Enter. Then save the file. (Btw I'm using Windows)

On buffer save there is no MarkersSaveRequest. The Buffer.updateMarkersFile() method on the line 1495 incorrectly returns that markers have not been changed, when in fact they have. I uncommented the following return statement and it works fine.

I don't even see in the code that normal text-editing functions (Enter, Backspace, Delete) could set the MARKERS_CHANGED flag.

Hope this helps.
 
SourceForge
by Robert Schwenn on Sat, 08/01/2011 - 12:33
Sorry, but it doesn't help anyone because unfortunately this forum is a dummy.

Almost only Bugs reported at the SourceForge Trackers ( http://sourceforge.net/tracker/?group_id=588 ) are considered by the developers.
User login
Browse archives
« November 2024  
MoTuWeThFrSaSu
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
 
Poll
Are you interested in language packs for jEdit?
Yes, and I could help maintain translations
26%
Yes, I'd like to have translations
32%
Indifferent
35%
No, that'd be bad (please comment)
7%
Total votes: 1093
Syndication
file   ver   dls
German Localization light   4.4.2.1   101634
Context Free Art (*.cfdg)   0.31   46062
BBEdit scheme   1.0   18601
JBuilder scheme   .001   18502
ColdFusion scheme   1.0   18031
R Edit Mode - extensive version   0.1   17481
Advanced HTML edit mode   1.0   16213
Matlab Edit Mode   1.0   16075
jEdit XP icons   1.0   15236
XP icons for jEdit   1.1   14300