Re: [ jEdit-devel ] BufferSwitcher vs BufferSet sort

[Dale A. <da...@da...>]

I've checked in code to allow the Buffer Switchers to be sorted
independently of the Buffer Sets. Option settings for both are in Global
Options - View. The options are:

Show buffer switcher
Sort buffer switcher
Sort buffer switcher by file name instead of path name
Visible rows in buffer switcher

BufferSet scope
Sort buffer sets
Sort buffer sets by file name instead of path name

It occurred to me as I was writing this that unchecking "Sort buffer
switcher" and checking "Sort buffer sets" causes the buffer switcher to be
sorted anyway, so it would make sense to check and disable "Sort buffer
switcher" when "Sort buffer sets" is checked. I don't have time to make
that change at the moment, but I'll try to get to it tomorrow.

Dale




On Thu, Dec 18, 2014 at 10:14 AM, Dale Anson <da...@da...> wrote:
>
> Personally, I don't see how sorted BufferSets are at all useful, other
> than that setting is used to sort the BufferSwitcher. Probably the most
> flexible way would be to add the same two checkboxes under "Show buffer
> switcher" that are under BufferSet scope, that is, a checkbox for "Sort
> buffer switcher" and "Sort buffer switcher by file name instead of path
> name". That way anyone can pick any combination, although I really don't
> know why anyone would care if the BufferSets were sorted by name. Unsorted
> BufferSet means the order in the set is the order in which the buffers were
> opened and viewed, which makes most sense, I think.
>
>
>
> On Wed, Dec 17, 2014 at 8:47 PM, Alan Ezust <ala...@gm...> wrote:
>>
>> This sounds like a new option but I am not sure how to describe it in
>> jedit options.  I imagine it will have to be an option so people who are
>> accustomed to the current behavior won't be forced to change. But I do
>> recall others and not just you are annoyed by the current behavior.
>>
>> So in your view, there should be 3 possibilities:
>>
>> 1. Sorted BufferSets + Sorted BufferSelector
>> 2. Unsorted BufferSets + Sorted BufferSelector (so view.getBuffers() will
>> also return buffers in unsorted order I assume)
>> 3. Unsorted Buffersets + Unsorted BufferSwitcher
>>
>> Now the question is, if 2 is possible, will anyone ever want 1?
>> I honestly don't know. Should we offer all 3 instead of just 2?
>>
>>
>>
>>
>> Sorted View + Unsorted Buffersets
>>
>>
>>
>> On Wed, Dec 17, 2014 at 6:02 PM, Dale Anson <da...@da...> wrote:
>>
>>> I like my BufferSets unsorted, but I want BufferSwitcher sorted by name.
>>> Unsorted BufferSets close and go to next/previous in the order I expect,
>>> which is why I want them unsorted. However, I want the buffer names in
>>> BufferSwitcher sorted so I can find them quickly. I have a few lines of
>>> code that implement this change, but I'm wondering if anyone else finds
>>> this useful or the current situation a little annoying?
>>>
>>> Thanks,
>>>
>>> Dale
>>>
>>>
>>>
>>>
>>> ------------------------------------------------------------------------------
>>> Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
>>> from Actuate! Instantly Supercharge Your Business Reports and Dashboards
>>> with Interactivity, Sharing, Native Excel Exports, App Integration & more
>>> Get technology previously reserved for billion-dollar corporations, FREE
>>>
>>> http://pubads.g.doubleclick.net/gampad/clk?id=164703151&iu=/4140/ostg.clktrk
>>> --
>>> -----------------------------------------------
>>> jEdit Developers' List
>>> jEd...@li...
>>> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>>>
>>>