jEdit / Plugin Patches / #169 RecentBufferSwitcher: BufferSet support

#169 RecentBufferSwitcher: BufferSet support

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2015-10-21

Created: 2008-08-18

Creator: Bernhard Walle

Private: No

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.

Discussion

Bernhard Walle - 2008-08-19

Logged In: YES
user_id=302109
Originator: YES

File Added: recentbufferswitcher.diff

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

Bernhard Walle - 2008-08-19

Fixed order

recentbufferswitcher.diff

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

bdimych - 2015-01-31

+1
If I have several views windows opened, then, of course, I expect buffer switcher only within the current window but not all buffers from all windows.
It's usual common behaviour - look any browser for example.
Please apply this patch.

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

Alan Ezust - 2015-01-31

Ticket moved from /p/jedit/plugin-bugs/1055/

Can't be converted:

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

Zbigniew Zagórski - 2015-10-21

Patch fixed to apply cleanly to current trunk.
Tested on jEdit 5.2.

Last edit: Zbigniew Zagórski 2015-10-21

RecentBufferSwitcher-original-patch-fixed-zbigg.diff

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

Log in to post a comment.