[ENHANCEMENT] Tab jump modes

[NullPlane]

User choice tab jump rules. e.g. linear (default now) or chronologically.
For chronologically (last visited order) default (direction is
inverted when letting go of ctrl key) or shift-controlled direction of
chron order only.

The duplex version is used in many web browsers, I think many ppl
are used to it. I use it very regularly. However there are weird rules on
when the direction is inverted based on whether you change a tab.
Depends on taste; I think there will be an optimal version to use. I do
not decide here :)

[Panzerschrek]

I agree with NullPlane, it may be useful.

In QtCreator and some other IDEs doing two consequent Ctrl+Tabs allows to switch between last two active tabs, but Ecode loops over all tabs in their display order, which isn't convenient for some users.

Also QtCreator shows a small list of opened documents when Ctrl+Tab is pressed, it would be nice to have something similar in Ecode too (but it's likely a separate improvement).

[SpartanJ]

Also QtCreator shows a small list of opened documents when Ctrl+Tab is pressed, it would be nice to have something similar in Ecode too (but it's likely a separate improvement).

I was planning to add this, yes, I do agree. I think I prefer to always show the list sorted from most recent to least recently focused document, just like QtCreator. The only thing I'm not sure about this is if the selector should be per-tab widget or global. But I can add an option for it. Having this will also allow to hide the tab-bar and continue having a good navigation, so I think it's quite interesting, I'll add it soon.

I personally almost never user Ctrl+Tab to switch focused documents, that's why I forgot about this. I don't know if anyone knows about Alt + Left / Right, which moves though cursor history (taken from QtCreator too) and it's what I use the most + just Ctrl+K + typing the name of the file, for a quick jump there's also Ctrl + tab number.

[NullPlane]

I don't know why but I personally also like the leave ctrl to invert direction better than pressing shift.
To me, it feels more ergonomic

[SpartanJ]

Added. Added what I call the "Tab Switcher" (I have no better name for now), which will display the currently opened files, the order of those files will depend on the Tab Jump Mode configuration. New options can be found at: View -> Tab Bar (Display Tab Switcher and Tab Jump Mode). Using chronological order without the Tab Switcher is absolutely confusing for me but I left it as an options, user can decide.

Tab Switcher will be displayed (if enabled) when ctrl/cmd+tab (or ctrl/cmd+shift+tab) is pressed.

Also the tab bar can now be always hidden, which goes well with the tab switcher (which will be automatically enabled in case of hiding the tab bar, because it's super inconvenient to navigate otherwise).

Tab Switcher is going to be enabled per-tab widget / panel. Each tab widget will have its own switcher, I've been testing and it's better and implementing it the other way was inconvenient.