It would be nice if the RecentBufferSwitcher plugin would have support for buffer
sets.
A working implementation is attached. Maybe that could considered for inclusion.
Submitted | bwalle - 2008-08-18 14:26:43 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | None |
Resolution | None |
2008-08-19 07:54:44 bwalle |
Logged In: YES |
---|---|
2008-08-19 07:54:44 bwalle |
Fixed order recentbufferswitcher.diff (1.9Kio) |
2015-01-31 14:27:49.992000 bdimych |
+1
|
2015-01-31 16:40:44.080000 ezust |
Ticket moved from /p/jedit/plugin-bugs/1055/ |
2015-10-21 13:45:49.856000 zbigz |
Patch fixed to apply cleanly to current trunk.
RecentBufferSwitcher-original-patch-fixed-zbigg.diff (2.2Kio) |