From: SourceForge.net <no...@so...> - 2009-07-14 09:30:53
|
Feature Requests item #2821216, was opened at 2009-07-14 11:15 Message generated for change (Comment added) made by weberjn You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=350588&aid=2821216&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: core Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Juergen Weber (weberjn) Assigned to: Nobody/Anonymous (nobody) Summary: Multiple buffers per file Initial Comment: jEdit should support several buffers per file, so you could have a file several times open with different cursor positions in each buffer. So you could view different file positions at the same time. Technically this would be similar to opening a file in several views, only it would be within the same jEdit View and you could navigate within different buffers for the same file like you would navigate between different files (e.g. with BufferTabs and RecentBufferSwitcher plugins). See also http://community.jedit.org/?q=node/view/4218 ---------------------------------------------------------------------- >Comment By: Juergen Weber (weberjn) Date: 2009-07-14 11:30 Message: > Wouldn't splitting the view do what you want? No, then you have one row of BufferTabs for each split pane and RecentBufferSwitcher only works within the current pane. Also, I'd like to have each file buffer use the full screen area and I'd like to switch between different file buffer instances like between different files. Thanks, Juergen ---------------------------------------------------------------------- Comment By: Seph M. Soliman (scarlac) Date: 2009-07-14 11:24 Message: Wouldn't splitting the view do what you want? Regards Seph ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=350588&aid=2821216&group_id=588 |