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
Submitted | weberjn - 2009-07-14 09:15:37 | Assigned | |
---|---|---|---|
Priority | 2 | Labels | BufferSets |
Status | open | Group | none |
Resolution | None |
2009-07-14 09:24:34 scarlac |
Wouldn't splitting the view do what you want? |
---|---|
2009-07-14 09:30:52 weberjn |
> Wouldn't splitting the view do what you want?
|
2009-07-14 10:49:53 scarlac |
> then you have one row of BufferTabs for each split pane and |
2009-07-14 11:00:15 weberjn |
Given Files a.txt, b.txt, c.txt. c.txt should be displayed in two buffers.
|
2009-07-15 01:28:13 elberry |
I too am confused. So far, it sounds like you're describing the exact behavior of
a single view, with a single buffer?
|
2009-07-15 07:48:29 weberjn |
> I can't see what advantage having both of these buffers in the same
|
2009-07-15 14:05:23 daleanson |
I think what is being requested is this:
|
2009-07-15 18:20:32 elberry |
Ah. I suppose you could accomplish this using markers. If you set a marker at the top and at the bottom, or however many places you want to keep track of, you can switch between markers pretty easily. Although the scrolling might be annoying. However, having multiple tabs open per file would definitely make this a lot easier. |
2013-12-09 19:29:12.293000 ezust |
- **labels**: core --> BufferSets |
2013-12-23 09:56:32.332000 weberjn |
A similar feature has come into Eclipse 4.4 M4:
|
2013-12-23 15:47:42.009000 daleanson |
This new feature in Eclipse looks like the splitting that has been in jEdit for years. Well, not quite the same -- jEdit will let you split multiple times in either direction, it looks like Eclipse will now split once in one direction. |