Menu
▾
▴
#3262 BufferSet Scope should be the same for all editpanes
Open 2 views, each with editpane bufferset scope.
Open file#1 in view#1, open file#2 in view#2
Each bufferset contains only one file.
Then switch from editpane to global in view#1
I would expect at this point, to see file#1 and file#2 in view#1. However, the bufferset and the buffertabs only show file#1.
Why would you expect to see both files in view#1? None of the 2 views uses the global bufferset, so the global bufferset should be empty, at least as far as I understand it. If my understanding is correct, the global bufferset does not share anything in common with editpane-specific buffersets, except maybe for the initial value of these editpane-specific buffersets.
My understanding of a "global bufferset" is that it should contain all of the buffers open from any views/editpane.
And that's how I documented it.
I just took a look in the code, and it's like I thought. There is no relation between the global buffer set and other buffer sets. Buffers can be added and removed from any buffer set, the global one is not the union of all others.
If you close a buffer from the global bufferset, that should also cause it to be closed in ALL of the other buffersets.
If you close a buffer from the View bufferset, it should close it from all the editpane buffersets that are in that view.
If you open a buffer from an EditPane bufferset, it should be added to the containing View and Global buffersets.
If you open a buffer from a View bufferset, it should also be added to the Global bufferset.
So this ticket will be closed when the bufferset scope changes apply to all editpanes simultaneously. We don't need to have different bufferset scopes for different editpanes. Either it's "E" "V" or "G" throughout.
Fixed in jEdit 4.4.