1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-21 20:57:59 +01:00

Rename "tabUndo" feature to "tabs_undo".

This commit is contained in:
Doug Kearns
2009-07-15 18:03:17 +10:00
parent f57d0c05a9
commit f1ca259fac
2 changed files with 3 additions and 3 deletions

View File

@@ -285,7 +285,7 @@ function Tabs() //{{{
{ count: true }); { count: true });
// TODO: feature dependencies - implies "session"? // TODO: feature dependencies - implies "session"?
if (liberator.has("tabUndo")) if (liberator.has("tabs_undo"))
{ {
mappings.add([modes.NORMAL], ["u"], mappings.add([modes.NORMAL], ["u"],
"Undo closing of a tab", "Undo closing of a tab",
@@ -609,7 +609,7 @@ function Tabs() //{{{
}); });
} }
if (liberator.has("tabUndo")) if (liberator.has("tabs_undo"))
{ {
commands.add(["u[ndo]"], commands.add(["u[ndo]"],
"Undo closing of a tab", "Undo closing of a tab",

View File

@@ -32,7 +32,7 @@ const config = { //{{{
hostApplication: "Firefox", hostApplication: "Firefox",
/*** optional options, there are checked for existence and a fallback provided ***/ /*** 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: { defaults: {
guioptions: "rb", guioptions: "rb",
showtabline: 2, showtabline: 2,