v5: three new problems / bugs

[Elementari]

1. After closing current tab, activate ... (PREVIOUSLY ACTIVE TAB (selected)
   Ignore discarded tabs (ON/OFF)
   --> "discarded" should be renamed to "unloaded"

2. A double clicking on tab action no longer works when the setting is activate that will toggle between active and previously active tab, when clicking.

3. When closing a tab, seemingly randomly the tab list will suddenly SKIP/JUMP to a different place. It happens without any smooth animation (animations are on "fast" and I see smooth movement in other situations). Worse, the skipping/jumping happens with a delay after closing a tab (more than 1 second I think). I have difficulties reproducing it on purpose, but by creating and closing tabs, it will eventually always happen. -- The sudden unexpected jumping is an issue because it can cause unintended clicks if it happens shortly before the user wants to click on something.

[Elementari]

ad 2. This is probably not a bug but a limitation, because it automatically deactivates that option.

ad 3. I think I was able to identify the cause / problem:

The jumping occurs when the cursor goes outside of the sideberry sidebar.
Since the CLOSE button (X) is very close to that area, it is likely that the user will move outside for a moment, and then the jumping occurs.

It would be good if the jumping where "smooth", and it would be good if were possible that it gets triggered only after the mouspointer is more than X pixels away from the side bar (instead of immediately at the border).

It seems to be like this:
User closes tab.
Sideberry wants to scroll to previously active tab.
Depending on where it is, sideberry scrolls to that position. (It is not clear if "animation speed" affects this speed, from the settings, by the way).
Sometimes, when moving out of the sidebar, it will "correct" the scrolling position a second time by jumping.

[Elementari]

No, correction:
ad 3. The jumping also occurs when the mouse pointer is within the panel. What is going on here. Perhaps it occurs when the cursor moves to non-tablist areas?

[Elementari]

The jumping issues is serious. Today it caused me to close the wrong tab because the sudden unexpected jumping occured out of nowhere exactly at the moment when I clicked. It really needs to be fixed with priority! Thank you!
!!! ### IMPORTANT ### !!!