Re: [ jEdit-devel ] Bufferset questions

[Shlomy R. <sre...@gm...>]

>> - If bufferset scope is not set to "global", the value "an empty
>> buffer" in "new buffersets contain" is problematic. What is supposed
>> to happen if you split the current edit pane horizontally or
>> vertically? Should the resulting edit pane use the "empty buffer"
>> option, or should it use the same buffer as the edit pane from which
>> it was split? I think the purpose of splitting an edit pane is to have
>> 2 separate edit panes opened on the same active buffer, so you can see
>> different locations in the buffer at the same time, but I may be
>> wrong. If I am not wrong, I think the initial bufferset of new edit
>> panes should depend on how these edit panes were created - by
>> splitting or as part of a new view.
>
> I think if the user wants the same buffer in the new editpane he can choose
> "same buffer" option.
> I don't think it is worth to add some options here because it would
> introduce bugs and it seems people find those options already complicated
> adding some new options would not be a good idea
>
> Matthieu
>

Which means that the user may choose "an empty buffer" in "New
buffersets contain", and then clicking the "Split horizontally" or
"Split vertically" button on the toolbar will split the edit pane,
with the new edit pane containing only an empty buffer. Am I right?
Won't this be surprising for the user? Keep in mind that the user will
usually select this option in the Global Options dialog once, then
periodically use the Split action. The user may not even remember what
he selected for this option.

Shlomy