If buffer sorting is disabled, when saving a session using the Sessions plugin the
manual buffer order set by the user gets lost, and on reopen the buffers are in what
amounts to random order.
This patch is a slightly improved version of the latest patch submitted to ticket
165.
Submitted | leblanc_kevin - 2015-02-21 21:50:31.864000 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | Sessions buffer ordering |
Status | open | Group | None |
Resolution | None |
2015-02-22 03:13:08.366000 ezust |
So once jEdit 5.3pre1 comes out, Sessions will behave correctly without the patch,
and this is only for getting Sessions to work properly with jEdit 5.1 and 5.2 ?
|
---|---|
2015-02-28 21:04:40.584000 leblanc_kevin |
If I've understood correctly what is included in which versions of jEdit, yes. Patch #548 on jEdit should make this patch unnecessary. |