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. |