Add history navigation in the script editor using extra mouse buttons

[Calinou]

master version of #53067.

This adds history navigation in the script/documentation list. It works exactly like the current implementation using Alt + Left and Alt + Right, but this makes it accessible using the auxiliary mouse buttons present on some mice.

An editor setting allows disabling this feature in case you use the auxiliary mouse buttons for other things (such as push-to-talk in a VoIP program).

[groud]

Sorry for the late review. I think the feature is a good to have, however, I would make disabling of the prev/next mouse button a global setting, not hiding it in the text_editor settings. This also mean we have to check if those shortcuts aren't used anywhere else, so that the disabling works everywhere needed.

[Calinou]

however, I would make disabling of the prev/next mouse button a global setting, not hiding it in the text_editor settings.

By global setting, do you mean moving the editor setting to another section such as Interface > Editor?

[groud]

By global setting, do you mean moving the editor setting to another section such as Interface > Editor?

Yes.

[Calinou]

Rebased and tested again, it works successfully in both multi-window and single-window modes.

[akien-mga]

There are CI issues with inconsistent use of override.

[akien-mga]

There are CI issues with inconsistent use of override.

Bump.

[akien-mga]

Thanks!