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.
Submitted | leblanc_kevin - 2015-02-18 06:14:16.469000 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | view buffer ordering |
Status | open | Group | None |
Resolution | None |