shortcut to view page source

2018-04-01 16:16:29 +01:00 · 2018-04-01 16:16:29 +01:00 · 21c28e668e
commit 21c28e668e
parent 8dcb8f8c22
4 changed files with 10 additions and 0 deletions
--- a/src/shared/operations.js
+++ b/src/shared/operations.js
@ -37,6 +37,9 @@ export default {
  // Focus
  FOCUS_INPUT: 'focus.input',

+  // Page
+  PAGE_SOURCE: 'page.source',
+
  // Tabs
  TAB_CLOSE: 'tabs.close',
  TAB_CLOSE_FORCE: 'tabs.close.force',
--- a/src/shared/settings/default.js
+++ b/src/shared/settings/default.js
@ -46,6 +46,7 @@ export default {
    "gu": { "type": "navigate.parent" },
    "gU": { "type": "navigate.root" },
    "gi": { "type": "focus.input" },
+    "gf": { "type": "page.source" },
    "y": { "type": "urls.yank" },
    "p": { "type": "urls.paste", "newTab": false },
    "P": { "type": "urls.paste", "newTab": true },