Version 2 of the patch, with style changes as requested by Gavin in comments of bug 702960.
Tested, works for me.
One thing I hadn't noticed before: moveTabForward/Backward leaves keyboard focus on the tab itself, which is something I didn't expect. This explains why I had occasional difficulties scrolling web pages with Space or PgUp/PgDown lately -- keyboard focus was in the wrong place, and I didn't notice. Any ideas how to avoid that focus change?
Created attachment 689087
patch version 2
Version 2 of the patch, with style changes as requested by Gavin in comments of bug 702960.
Tested, works for me.
One thing I hadn't noticed before: moveTabForward/ Backward leaves keyboard focus on the tab itself, which is something I didn't expect. This explains why I had occasional difficulties scrolling web pages with Space or PgUp/PgDown lately -- keyboard focus was in the wrong place, and I didn't notice. Any ideas how to avoid that focus change?