Google Docs Page Jumper

This extension lets you go to any page of a Google Docs document

Premium users can view and search full source code, and see the source code differences between two versions.

manifest.json

{
  "update_url": "https://clients2.google.com/service/update2/crx",
  "manifest_version": 3,
  "name": "Google Docs Page Jumper",
  "description": "This extension lets you go to any page of a Google Docs document",
  "version": "1.5",
  "homepage_url": "https://github.com/tareeko/gdocs-page-jumper",
  "action": {
    "default_icon": "favicon.png",
    "default_popup": "popup.html",
    "default_title": "PageJumper"
  },
  "content_scripts": [
    {
      "matches": [
        "https://docs.google.com/document/d*"
      ],
      "all_frames": true,
      "js": [
        "scripts/content.js"
      ]
    }
  ],
  "permissions": [
    "activeTab"
  ],
  "host_permissions": [
    "https://docs.google.com/document/d*"
  ],
  "content_security_policy": {
    "extension_pages": "script-src 'self'; object-src 'self'"
  },
  "commands": {
    "_execute_action": {
      "suggested_key": {
        "default": "Alt+G"
      },
      "description": "Open Google Docs Page Jumper"
    }
  }
}