Use Alt+0-9 for non-pinned tabs, Ctrl+0-9 for pinned-tabs

Question

Hi there community!
As simply stated above, I want to tweak my keyboard shortcuts so that navigating between pinned and non-pinned tabs are distinguished. Reason for that is that I have ~8 pinned tabs (Gmail, Facebook, Feedly, Calendar, HabitsRPG to name a few), and as a result cannot quick navigate between my regular, unpinned tabs using numbered hotkeys.
Thanks!

Answer 1

This code when assigned to a key will select a not pinned tab with number D, so you could possibly use the keyconfig or another extension to assign Ctrl 1-9 to the appropriate code.
I use this to go to the first unpinned tab without the D code.
<pre><nowiki>var D=1;
var M=gBrowser.mTabContainer;
var C=M.childNodes;
var L=C.length;
var cT=M.selectedIndex,sT=cT,T,i;
for(i=0;T=C[i];i++){if(!T.hasAttribute('pinned')){sT=i;break;}}
M.selectedIndex=sT+D-1;
</nowiki></pre>
Test code:
<pre><nowiki>var M=gBrowser.mTabContainer;
var C=M.childNodes;
var L=C.length;
var cT=M.selectedIndex,sT=cT,T,i;
for(i=0;T=C[i];i++){if(!T.hasAttribute('pinned')){sT=i;break;}}
var D=parseInt(prompt("PIN: "+(sT)+"\nCUR: "+(cT+1),L-sT-1))||0;
if(D<0){D=-D;sT=0;}
if(D){M.selectedIndex=sT+D-1;}
</nowiki></pre>