When there are more than eight pinned tabs, is there a shortcut that will get me to the tab that is right after the last pinned tab?
I generally have twelve to fourteen pinned tabs. I can get up to the eighth one easily with the shortcut Ctrl+(1-8). However, I've found that I often have to access the tab that is right after the last pinned tab, and so to get there I must do Ctrl+8, and then Ctrl+Tab several times to go forward several tabs. Is there shortcut that would get me straight to the first tab that is right after the last pinned tab?
Tutte le risposte (1)
Not that I know of.
A possible way to achieve this would be to use the PrefBar extension and create a button to add a shortcut key to a specific tab (you can use Ctrl+0; zero).
Code to jump the first tab that doesn't have the pinned attribute:
var T=gBrowser.mTabContainer; var C=T.childNodes; for(i=0;S=C[i];i++){if(!S.hasAttribute('pinned')){T.selectedIndex=i;break;}}
Code to add a savtab attribute to the currently selected tab:
var T=gBrowser.mTabContainer; var cT=T.selectedIndex; var C=T.childNodes; for(var i=0;S=C[i];i++){if(S.hasAttribute('savtab')){S.removeAttribute('savtab')}} C[cT].setAttribute('savtab',true);
Code to jump the tab that has the savtab attribute:
var T=gBrowser.mTabContainer; var C=T.childNodes; for(i=0;S=C[i];i++){if(S.hasAttribute('savtab')){T.selectedIndex=i;break;}}
Modificato da cor-el il