-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathmanifest.json
56 lines (56 loc) · 1.39 KB
/
manifest.json
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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
{
"required_api_version": "^2.0.0",
"name": "Simple notes extension",
"description": "A simple extension to append notes to a file.",
"developer_name": "maynouf",
"icon": "images/icon.png",
"options": {
"query_debounce": 0.05
},
"preferences": [
{
"id": "note_kw",
"type": "keyword",
"name": "Note Keyword",
"description": "The keyword you want to use to write a note.",
"default_value": "note"
},
{
"id": "note_path",
"type": "input",
"name": "note_path",
"description": "Path to the note file",
"default_value": "~/note.md"
},
{
"id": "open_arg",
"type": "keyword",
"name": "Open notes argument",
"description": "The argument you want to use to open the notes.",
"default_value": "open"
},
{
"id": "date_timestamp",
"type": "select",
"name": "date_timestamp",
"description": "Include the date before the note?",
"options": [
{"value": true, "text": "yes"},
{"value": false, "text": "no"}
],
"default_value": false
},
{
"id": "time_timestamp",
"type": "select",
"name": "time_timestamp",
"description": "Include the time before the note?",
"options":
[
{"value": true, "text": "yes"},
{"value": false, "text": "no"}
],
"default_value": false
}
]
}