Repository navigation
Expand file tree
/
Copy pathsettings_stringdata.go
More file actions
220 lines (218 loc) · 8.52 KB
/
Copy pathsettings_stringdata.go
File metadata and controls
220 lines (218 loc) · 8.52 KB
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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
// Code generated by stringdata. DO NOT EDIT.
package schema
// SettingsSchemaJSON is the content of the file "settings.schema.json".
const SettingsSchemaJSON = `{
"$schema": "http://json-schema.org/draft-07/schema#",
"$id": "settings.schema.json#",
"title": "Settings",
"description": "Configuration settings for users and organizations on Sourcegraph.",
"allowComments": true,
"type": "object",
"properties": {
"experimentalFeatures": {
"title": "SettingsExperimentalFeatures",
"description": "Experimental features to enable or disable. Features that are now enabled by default are marked as deprecated.",
"type": "object",
"additionalProperties": false,
"properties": {
"splitSearchModes": {
"description": "Enables toggling between the current omni search mode, and experimental interactive search mode.",
"type": "boolean",
"default": true,
"!go": { "pointer": true }
},
"searchStats": {
"description": "Enables a new page that shows language statistics about the results for a search query.",
"type": "boolean",
"default": false,
"!go": { "pointer": true }
},
"showBadgeAttachments": {
"description": "Enables the UI indicators for code intelligence precision.",
"type": "boolean",
"default": true,
"!go": { "pointer": true }
},
"smartSearchField": {
"description": "Enables displaying a search field that provides syntax highlighting, hover tooltips and diagnostics for search queries.",
"type": "boolean",
"default": false,
"!go": { "pointer": true }
}
},
"group": "Experimental"
},
"search.savedQueries": {
"description": "DEPRECATED: Saved search queries",
"type": "array",
"items": {
"type": "object",
"properties": {
"key": {
"type": "string",
"description": "Unique key for this query in this file"
},
"description": {
"type": "string",
"description": "Description of this saved query"
},
"query": {
"type": "string",
"description": "Query string"
},
"showOnHomepage": {
"type": "boolean",
"description": "DEPRECATED: saved searches are no longer shown on the homepage. This will be removed in a future release."
},
"notify": {
"type": "boolean",
"description": "Notify the owner of this configuration file when new results are available"
},
"notifySlack": {
"type": "boolean",
"description": "Notify Slack via the organization's Slack webhook URL when new results are available"
}
},
"additionalProperties": false,
"required": ["key", "description", "query"]
}
},
"search.scopes": {
"description": "Predefined search scopes",
"type": "array",
"items": {
"$ref": "#/definitions/SearchScope"
}
},
"search.repositoryGroups": {
"description": "Named groups of repositories that can be referenced in a search query using the repogroup: operator.",
"type": "object",
"additionalProperties": {
"type": "array",
"items": { "type": "string" }
}
},
"search.contextLines": {
"description": "The default number of lines to show as context below and above search results. Default is 1.",
"type": "integer",
"minimum": 0,
"default": 1
},
"search.defaultPatternType": {
"description": "The default pattern type (literal or regexp) that search queries will be intepreted as.",
"type": "string",
"pattern": "literal|regexp"
},
"quicklinks": {
"description": "Links that should be accessible quickly from the home and search pages.",
"type": "array",
"items": {
"$ref": "#/definitions/QuickLink"
}
},
"motd": {
"description": "DEPRECATED: Use ` + "`" + `notices` + "`" + ` instead.\n\nAn array (often with just one element) of messages to display at the top of all pages, including for unauthenticated users. Users may dismiss a message (and any message with the same string value will remain dismissed for the user).\n\nMarkdown formatting is supported.\n\nUsually this setting is used in global and organization settings. If set in user settings, the message will only be displayed to that user. (This is useful for testing the correctness of the message's Markdown formatting.)\n\nMOTD stands for \"message of the day\" (which is the conventional Unix name for this type of message).",
"type": "array",
"items": { "type": "string" }
},
"notices": {
"description": "Custom informational messages to display to users at specific locations in the Sourcegraph user interface.\n\nUsually this setting is used in global and organization settings. If set in user settings, the message will only be displayed to that single user.",
"type": "array",
"items": {
"title": "Notice",
"type": "object",
"required": ["message", "location"],
"properties": {
"message": {
"description": "The message to display. Markdown formatting is supported.",
"type": "string"
},
"location": {
"description": "The location where this notice is shown: \"top\" for the top of every page, \"home\" for the homepage.",
"type": "string",
"enum": ["top", "home"]
},
"dismissible": {
"description": "Whether this notice can be dismissed (closed) by the user.",
"type": "boolean",
"default": false
}
}
}
},
"alerts.showPatchUpdates": {
"description": "Whether to show alerts for patch version updates. Alerts for major and minor version updates will always be shown.",
"type": "boolean",
"default": true
},
"extensions": {
"description": "The Sourcegraph extensions to use. Enable an extension by adding a property ` + "`" + `\"my/extension\": true` + "`" + ` (where ` + "`" + `my/extension` + "`" + ` is the extension ID). Override a previously enabled extension and disable it by setting its value to ` + "`" + `false` + "`" + `.",
"type": "object",
"propertyNames": {
"type": "string",
"description": "A valid extension ID.",
"pattern": "^([^/]+/)?[^/]+/[^/]+$"
},
"additionalProperties": {
"type": "boolean",
"description": "` + "`" + `true` + "`" + ` to enable the extension, ` + "`" + `false` + "`" + ` to disable the extension (if it was previously enabled)"
}
},
"codeHost.useNativeTooltips": {
"description": "Whether to use the code host's native hover tooltips when they exist (GitHub's jump-to-definition tooltips, for example).",
"type": "boolean",
"default": false
}
},
"definitions": {
"SearchScope": {
"type": "object",
"additionalProperties": false,
"required": ["name", "value"],
"properties": {
"id": {
"type": "string",
"description": "A unique identifier for the search scope.\n\nIf set, a scoped search page is available at https://[sourcegraph-hostname]/search/scope/ID, where ID is this value."
},
"name": {
"type": "string",
"description": "The human-readable name for this search scope"
},
"value": {
"type": "string",
"description": "The query string of this search scope"
},
"description": {
"type": "string",
"description": "A description for this search scope"
}
}
},
"QuickLink": {
"type": "object",
"additionalProperties": false,
"required": ["name", "url"],
"properties": {
"name": {
"type": "string",
"description": "The human-readable name for this quick link"
},
"url": {
"type": "string",
"description": "The URL of this quick link (absolute or relative)"
},
"description": {
"type": "string",
"description": "A description for this quick link"
}
}
}
},
"search.hideSuggestions": {
"description": "Disable search suggestions below the search bar when constructing queries. Defaults to false.",
"type": "boolean",
"default": false,
"!go": { "pointer": true }
}
}
`