Skip to content

Instantly share code, notes, and snippets.

@958
Created April 28, 2011 05:12

Revisions

  1. 958 revised this gist May 26, 2011. 1 changed file with 5 additions and 7 deletions.
    12 changes: 5 additions & 7 deletions .keysnail.js
    Original file line number Diff line number Diff line change
    @@ -1,11 +1,9 @@
    if (typeof gBrowser !== 'undefined' && gBrowser.tabContainer) {
    let previousSelectedTabIndex = gBrowser.tabContainer.selectedIndex;
    let currentSelectedTabIndex = previousSelectedTabIndex;
    let prev = gBrowser.tabContainer.selectedIndex;
    let cur = prev;
    gBrowser.tabContainer.addEventListener("TabSelect", function(){
    previousSelectedTabIndex = currentSelectedTabIndex;
    currentSelectedTabIndex = gBrowser.tabContainer.selectedIndex;
    prev = currentSelectedTabIndex;
    cur = gBrowser.tabContainer.selectedIndex;
    }, false);
    ext.add("toggle-selected-tab", function () {
    gBrowser.tabContainer.selectedIndex = previousSelectedTabIndex;
    }, '選択タブをトグルする');
    ext.add("toggle-selected-tab", function () gBrowser.tabContainer.selectedIndex = prev, '選択タブをトグルする');
    }
  2. 958 revised this gist May 25, 2011. 1 changed file with 2 additions and 2 deletions.
    4 changes: 2 additions & 2 deletions .keysnail.js
    Original file line number Diff line number Diff line change
    @@ -5,7 +5,7 @@ if (typeof gBrowser !== 'undefined' && gBrowser.tabContainer) {
    previousSelectedTabIndex = currentSelectedTabIndex;
    currentSelectedTabIndex = gBrowser.tabContainer.selectedIndex;
    }, false);
    key.setGlobalKey('C-^', function (ev, arg) {
    ext.add("toggle-selected-tab", function () {
    gBrowser.tabContainer.selectedIndex = previousSelectedTabIndex;
    });
    }, '選択タブをトグルする');
    }
  3. 958 revised this gist May 25, 2011. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion .keysnail.js
    Original file line number Diff line number Diff line change
    @@ -1,4 +1,4 @@
    if (typeof gBrowser !== 'undefined') {
    if (typeof gBrowser !== 'undefined' && gBrowser.tabContainer) {
    let previousSelectedTabIndex = gBrowser.tabContainer.selectedIndex;
    let currentSelectedTabIndex = previousSelectedTabIndex;
    gBrowser.tabContainer.addEventListener("TabSelect", function(){
  4. 958 renamed this gist May 10, 2011. 1 changed file with 0 additions and 0 deletions.
    File renamed without changes.
  5. 958 created this gist Apr 28, 2011.
    11 changes: 11 additions & 0 deletions .js
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,11 @@
    if (typeof gBrowser !== 'undefined') {
    let previousSelectedTabIndex = gBrowser.tabContainer.selectedIndex;
    let currentSelectedTabIndex = previousSelectedTabIndex;
    gBrowser.tabContainer.addEventListener("TabSelect", function(){
    previousSelectedTabIndex = currentSelectedTabIndex;
    currentSelectedTabIndex = gBrowser.tabContainer.selectedIndex;
    }, false);
    key.setGlobalKey('C-^', function (ev, arg) {
    gBrowser.tabContainer.selectedIndex = previousSelectedTabIndex;
    });
    }