jEdit / Patches / #548 getBuffers() returns views in random order when not sorted

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

#548 getBuffers() returns views in random order when not sorted

Milestone: None

Status: closed-accepted

Owner: Alan Ezust

Labels: view (1) buffer (1) ordering (1)

Priority: 5

Updated: 2015-02-21

Created: 2015-02-18

Creator: kevin.canadian

Private: No

When buffer sorting is disabled, the user is allowed to sort buffers manually. However the view.getBuffers() method returns the buffers in random order in this case. This patch ensures that getBuffers() returns the buffers in the correct order, whether they are being sorted by the user or by jedit.

1 Attachments

patch.txt

Discussion

Alan Ezust - 2015-02-21

assigned_to: Alan Ezust

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

Alan Ezust - 2015-02-21

nice! Committed 23874.

Last edit: Alan Ezust 2015-02-21

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

Alan Ezust - 2015-02-21

status: open --> closed-accepted
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

getBuffers() returns views in random order when not sorted

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

Group

Searches

Help

#548 getBuffers() returns views in random order when not sorted

Discussion