document-sections.novaextension/extension.json at main · eahanson/document-sections.novaextension · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
{
  "activationEvents": ["*"],
  "bugs": "https://github.com/eahanson/document-sections.novaextension/issues",
  "categories": ["commands"],
  "commands": {
    "editor": [{
        "command": "document-sections.go-to-section",
        "shortcut": "ctrl-opt-shift-G",
        "title": "Go to Section…",
        "when": "editorHasFocus"
      },
      {
        "command": "document-sections.go-to-previous-section",
        "shortcut": "ctrl-opt-shift-pageup",
        "title": "Go to Previous Section",
        "when": "editorHasFocus"
      },
      {
        "command": "document-sections.go-to-next-section",
        "shortcut": "ctrl-opt-shift-pagedown",
        "title": "Go to Next Section",
        "when": "editorHasFocus"
      }
    ]
  },
  "config": [{
    "default": ["# # #", "// // //"],
    "description": "If a line starts with one of these prefixes, it will be considered a section. Whitespace at the beginning of the line is ignored. Text after the prefix will be considered the name of the section. Example: \"// // //\"",
    "key": "document-sections.patterns",
    "title": "Section prefixes",
    "type": "stringArray"
  }],
  "description": "Navigate between user-defined sections of a document.",
  "entitlements": {},
  "homepage": "https://github.com/eahanson/document-sections.novaextension",
  "identifier": "eahanson.document-sections",
  "main": "main.js",
  "name": "Document Sections",
  "organization": "Erik Hanson",
  "repository": "https://github.com/eahanson/document-sections.novaextension",
  "version": "1.0.2"
}