From f1ca259fac629e390d40a1a7b217cf593d7e0941 Mon Sep 17 00:00:00 2001 From: Doug Kearns Date: Wed, 15 Jul 2009 18:03:17 +1000 Subject: [PATCH] Rename "tabUndo" feature to "tabs_undo". --- common/content/tabs.js | 4 ++-- vimperator/content/config.js | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/common/content/tabs.js b/common/content/tabs.js index 0506a381..4a4de4e0 100644 --- a/common/content/tabs.js +++ b/common/content/tabs.js @@ -285,7 +285,7 @@ function Tabs() //{{{ { count: true }); // TODO: feature dependencies - implies "session"? - if (liberator.has("tabUndo")) + if (liberator.has("tabs_undo")) { mappings.add([modes.NORMAL], ["u"], "Undo closing of a tab", @@ -609,7 +609,7 @@ function Tabs() //{{{ }); } - if (liberator.has("tabUndo")) + if (liberator.has("tabs_undo")) { commands.add(["u[ndo]"], "Undo closing of a tab", diff --git a/vimperator/content/config.js b/vimperator/content/config.js index ea62ba30..9e73e3ac 100644 --- a/vimperator/content/config.js +++ b/vimperator/content/config.js @@ -32,7 +32,7 @@ const config = { //{{{ hostApplication: "Firefox", /*** optional options, there are checked for existence and a fallback provided ***/ - features: ["bookmarks", "hints", "history", "marks", "quickmarks", "session", "tabs", "tabUndo", "windows"], + features: ["bookmarks", "hints", "history", "marks", "quickmarks", "session", "tabs", "tabs_undo", "windows"], defaults: { guioptions: "rb", showtabline: 2,