diff --git a/common/content/buffer.js b/common/content/buffer.js
index 803fed09..6c26c87b 100644
--- a/common/content/buffer.js
+++ b/common/content/buffer.js
@@ -940,7 +940,12 @@ const Buffer = Module("buffer", {
url = url.substr(PREFIX.length);
else
url = PREFIX + url;
- dactyl.open(url, { hide: true });
+
+ let sh = history.session;
+ if (sh[sh.index].URI.spec == url)
+ window.getWebNavigation().gotoIndex(sh.index);
+ else
+ dactyl.open(url, { hide: true });
}
},
@@ -1470,17 +1475,13 @@ const Buffer = Module("buffer", {
{ count: true });
mappings.add(myModes, ["gf"],
- "View source",
+ "Toggle between rendered and source view",
function () { buffer.viewSource(null, false); });
mappings.add(myModes, ["gF"],
"View source with an external editor",
function () { buffer.viewSource(null, true); });
- mappings.add(myModes, ["|"],
- "Toggle between rendered and source view",
- function () { buffer.viewSource(null, false); });
-
mappings.add(myModes, ["gi"],
"Focus last used input field",
function (count) {
diff --git a/common/locale/en-US/buffer.xml b/common/locale/en-US/buffer.xml
index 7daff506..d224799f 100644
--- a/common/locale/en-US/buffer.xml
+++ b/common/locale/en-US/buffer.xml
@@ -51,8 +51,8 @@
- View source. Opens the source code of the current web site with the internal
- editor in the current tab.
+ View source. Toggles between the source and rendered
+ content of the page.
- Toggle between rendered and source view. Alternates the page in the current tab
- between a normally rendered view and the internal editor source view.
-