Skip to content

Commit 0008520

Browse files
gordonwoodhullgordonwoodhull
committed
artifacts
1 parent e904ade commit 0008520

File tree

4 files changed

+530
-170
lines changed

4 files changed

+530
-170
lines changed

‎src/resources/editor/tools/vs-code.mjs

Lines changed: 168 additions & 54 deletions
Original file line numberDiff line numberDiff line change
@@ -11882,50 +11882,84 @@ var require_yaml_intelligence_resources = __commonJS({
1188211882
{
1188311883
id: "brand-logo",
1188411884
description: "Provide definitions and defaults for brand's logo in various formats and sizes.\n",
11885+
object: {
11886+
closed: true,
11887+
properties: {
11888+
with: {
11889+
schema: {
11890+
object: {
11891+
additionalProperties: {
11892+
schema: {
11893+
ref: "brand-string-light-dark"
11894+
}
11895+
}
11896+
}
11897+
}
11898+
},
11899+
small: {
11900+
description: "A link or path to the brand's small-sized logo or icon, or a link or path to both the light and dark versions.\n",
11901+
schema: {
11902+
ref: "brand-string-light-dark"
11903+
}
11904+
},
11905+
medium: {
11906+
description: "A link or path to the brand's medium-sized logo, or a link or path to both the light and dark versions.\n",
11907+
schema: {
11908+
ref: "brand-string-light-dark"
11909+
}
11910+
},
11911+
large: {
11912+
description: "A link or path to the brand's large- or full-sized logo, or a link or path to both the light and dark versions.\n",
11913+
schema: {
11914+
ref: "brand-string-light-dark"
11915+
}
11916+
}
11917+
}
11918+
}
11919+
},
11920+
{
11921+
id: "brand-named-logo",
11922+
description: "Names of customizeable logos",
11923+
enum: [
11924+
"small",
11925+
"medium",
11926+
"large"
11927+
]
11928+
},
11929+
{
11930+
id: "brand-color-value",
11931+
schema: "string"
11932+
},
11933+
{
11934+
id: "logo-string-layout",
11935+
description: "Source path or source path with layout options for logo",
1188511936
anyOf: [
1188611937
"string",
1188711938
{
1188811939
object: {
1188911940
closed: true,
1189011941
properties: {
11891-
with: {
11892-
schema: {
11893-
object: {
11894-
additionalProperties: {
11895-
schema: {
11896-
ref: "brand-string-light-dark"
11897-
}
11898-
}
11899-
}
11900-
}
11942+
location: {
11943+
schema: "string",
11944+
description: "X-Y positioning of logo\n"
1190111945
},
11902-
small: {
11903-
description: "A link or path to the brand's small-sized logo or icon, or a link or path to both the light and dark versions.\n",
11904-
schema: {
11905-
ref: "brand-string-light-dark"
11906-
}
11946+
padding: {
11947+
schema: "string",
11948+
description: "Padding of logo\n"
1190711949
},
11908-
medium: {
11909-
description: "A link or path to the brand's medium-sized logo, or a link or path to both the light and dark versions.\n",
11910-
schema: {
11911-
ref: "brand-string-light-dark"
11912-
}
11950+
width: {
11951+
schema: "string",
11952+
description: "Width of logo\n"
1191311953
},
11914-
large: {
11915-
description: "A link or path to the brand's large- or full-sized logo, or a link or path to both the light and dark versions.\n",
11916-
schema: {
11917-
ref: "brand-string-light-dark"
11918-
}
11954+
src: {
11955+
schema: "path",
11956+
description: "Source path of logo\n"
1191911957
}
1192011958
}
1192111959
}
1192211960
}
1192311961
]
1192411962
},
11925-
{
11926-
id: "brand-color-value",
11927-
schema: "string"
11928-
},
1192911963
{
1193011964
id: "brand-color",
1193111965
description: "The brand's custom color palette and theme.\n",
@@ -12065,7 +12099,7 @@ var require_yaml_intelligence_resources = __commonJS({
1206512099
properties: {
1206612100
with: {
1206712101
description: "Font files and definitions for the brand.",
12068-
ref: "brand-font"
12102+
ref: "brand-font-with"
1206912103
},
1207012104
base: {
1207112105
description: "The base font settings for the brand. These are used as the default for all text.\n",
@@ -12140,10 +12174,28 @@ var require_yaml_intelligence_resources = __commonJS({
1214012174
},
1214112175
"background-color": {
1214212176
ref: "brand-maybe-named-color"
12177+
},
12178+
files: {
12179+
maybeArrayOf: {
12180+
anyOf: [
12181+
"path",
12182+
"string"
12183+
]
12184+
},
12185+
description: "Resolved local paths.\n"
1214312186
}
1214412187
}
1214512188
}
1214612189
},
12190+
{
12191+
id: "brand-named-font",
12192+
description: "Names of customizeable fonts",
12193+
enum: [
12194+
"base",
12195+
"headings",
12196+
"monospace"
12197+
]
12198+
},
1214712199
{
1214812200
id: "brand-typography-options-no-size",
1214912201
description: "Typographic options without a font size.",
@@ -12168,22 +12220,27 @@ var require_yaml_intelligence_resources = __commonJS({
1216812220
}
1216912221
},
1217012222
{
12171-
id: "brand-font",
12223+
id: "brand-font-with",
1217212224
description: "Font files and definitions for the brand.",
12173-
arrayOf: {
12174-
anyOf: [
12175-
{
12176-
ref: "brand-font-google"
12177-
},
12178-
{
12179-
ref: "brand-font-file"
12180-
},
12181-
{
12182-
ref: "brand-font-family"
12183-
}
12184-
]
12225+
object: {
12226+
closed: false
1218512227
}
1218612228
},
12229+
{
12230+
id: "brand-font",
12231+
description: "Font files and definitions for the brand.",
12232+
anyOf: [
12233+
{
12234+
ref: "brand-font-google"
12235+
},
12236+
{
12237+
ref: "brand-font-file"
12238+
},
12239+
{
12240+
ref: "brand-font-family"
12241+
}
12242+
]
12243+
},
1218712244
{
1218812245
id: "brand-font-weight",
1218912246
description: "A font weight.",
@@ -12237,7 +12294,7 @@ var require_yaml_intelligence_resources = __commonJS({
1223712294
]
1223812295
},
1223912296
style: {
12240-
description: "The font style to include.",
12297+
description: "The font styles to include.",
1224112298
maybeArrayOf: {
1224212299
ref: "brand-font-style"
1224312300
},
@@ -12262,7 +12319,10 @@ var require_yaml_intelligence_resources = __commonJS({
1226212319
}
1226312320
]
1226412321
}
12265-
}
12322+
},
12323+
required: [
12324+
"google"
12325+
]
1226612326
}
1226712327
},
1226812328
{
@@ -12283,8 +12343,42 @@ var require_yaml_intelligence_resources = __commonJS({
1228312343
]
1228412344
},
1228512345
description: "The font files to include. These can be local or online. Local file paths should be relative to the `brand.yml` file. Online paths should be complete URLs.\n"
12346+
},
12347+
weight: {
12348+
description: "The font weights to include.",
12349+
maybeArrayOf: {
12350+
ref: "brand-font-weight"
12351+
},
12352+
default: [
12353+
400,
12354+
700
12355+
]
12356+
},
12357+
style: {
12358+
description: "The font styles to include.",
12359+
maybeArrayOf: {
12360+
ref: "brand-font-style"
12361+
},
12362+
default: [
12363+
"normal",
12364+
"italic"
12365+
]
12366+
},
12367+
display: {
12368+
description: "The font display method, determines how a font face is font face is shown depending on its download status and readiness for use.\n",
12369+
enum: [
12370+
"auto",
12371+
"block",
12372+
"swap",
12373+
"fallback",
12374+
"optional"
12375+
],
12376+
default: "swap"
1228612377
}
12287-
}
12378+
},
12379+
required: [
12380+
"files"
12381+
]
1228812382
}
1228912383
},
1229012384
{
@@ -17436,10 +17530,13 @@ var require_yaml_intelligence_resources = __commonJS({
1743617530
name: "logo",
1743717531
tags: {
1743817532
formats: [
17439-
"revealjs"
17533+
"revealjs",
17534+
"typst"
1744017535
]
1744117536
},
17442-
schema: "path",
17537+
schema: {
17538+
ref: "logo-string-layout"
17539+
},
1744317540
description: "Logo image (placed in bottom right corner of slides)"
1744417541
},
1744517542
{
@@ -21303,7 +21400,7 @@ var require_yaml_intelligence_resources = __commonJS({
2130321400
"Short/abbreviated form of container-title;",
2130421401
"A minor contributor to the item; typically cited using \u201Cwith\u201D before\nthe name when listed in a bibliography.",
2130521402
"Curator of an exhibit or collection (e.g. in a museum).",
21306-
"Physical (e.g. size) or temporal (e.g. running time) dimensions of\nthe item.",
21403+
"Physical (e.g. size) or temporal (e.g.\uFFFD\uFFFDrunning time) dimensions of\nthe item.",
2130721404
"Director (e.g. of a film).",
2130821405
"Minor subdivision of a court with a <code>jurisdiction</code> for a\nlegal item",
2130921406
"(Container) edition holding the item (e.g.&nbsp;\u201C3\u201D when citing a chapter\nin the third edition of a book).",
@@ -21485,6 +21582,7 @@ var require_yaml_intelligence_resources = __commonJS({
2148521582
"A link or path to the brand\u2019s small-sized logo or icon, or a link or\npath to both the light and dark versions.",
2148621583
"A link or path to the brand\u2019s medium-sized logo, or a link or path to\nboth the light and dark versions.",
2148721584
"A link or path to the brand\u2019s large- or full-sized logo, or a link or\npath to both the light and dark versions.",
21585+
"Names of customizeable logos",
2148821586
"The brand\u2019s custom color palette and theme.",
2148921587
"The brand\u2019s custom color palette. Any number of colors can be\ndefined, each color having a custom name.",
2149021588
"The foreground color, used for text.",
@@ -21510,18 +21608,24 @@ var require_yaml_intelligence_resources = __commonJS({
2151021608
"The text properties used for emphasized (or emboldened) text.",
2151121609
"The text properties used for hyperlinks.",
2151221610
"Typographic options.",
21611+
"Resolved local paths.",
21612+
"Names of customizeable fonts",
2151321613
"Typographic options without a font size.",
2151421614
"Font files and definitions for the brand.",
21615+
"Font files and definitions for the brand.",
2151521616
"A font weight.",
2151621617
"A font style.",
2151721618
"A Google Font definition.",
2151821619
"The font family name, which must match the name of the font on Google\nFonts.",
2151921620
"The font weights to include.",
21520-
"The font style to include.",
21621+
"The font styles to include.",
2152121622
"The font display method, determines how a font face is font face is\nshown depending on its download status and readiness for use.",
2152221623
"A method for providing font files directly, either locally or from an\nonline location.",
2152321624
"The font family name.",
2152421625
"The font files to include. These can be local or online. Local file\npaths should be relative to the <code>brand.yml</code> file. Online\npaths should be complete URLs.",
21626+
"The font weights to include.",
21627+
"The font styles to include.",
21628+
"The font display method, determines how a font face is font face is\nshown depending on its download status and readiness for use.",
2152521629
"A locally-installed font family name. When used, the end-user is\nresponsible for ensuring that the font is installed on their system.",
2152621630
{
2152721631
short: "Unique label for code cell",
@@ -23804,12 +23908,12 @@ var require_yaml_intelligence_resources = __commonJS({
2380423908
mermaid: "%%"
2380523909
},
2380623910
"handlers/mermaid/schema.yml": {
23807-
_internalId: 187423,
23911+
_internalId: 187585,
2380823912
type: "object",
2380923913
description: "be an object",
2381023914
properties: {
2381123915
"mermaid-format": {
23812-
_internalId: 187415,
23916+
_internalId: 187577,
2381323917
type: "enum",
2381423918
enum: [
2381523919
"png",
@@ -23825,7 +23929,7 @@ var require_yaml_intelligence_resources = __commonJS({
2382523929
exhaustiveCompletions: true
2382623930
},
2382723931
theme: {
23828-
_internalId: 187422,
23932+
_internalId: 187584,
2382923933
type: "anyOf",
2383023934
anyOf: [
2383123935
{
@@ -30518,7 +30622,17 @@ function buildJsYamlAnnotation(mappedYaml) {
3051830622
`Expected a single result, got ${results.length} instead`
3051930623
);
3052030624
}
30521-
JSON.stringify(results[0]);
30625+
try {
30626+
JSON.stringify(results[0]);
30627+
} catch (e) {
30628+
if (e.message.match("invalid string length")) {
30629+
} else if (e.message.match(/circular structure/)) {
30630+
throw new InternalError(
30631+
`Circular structure detected in parsed yaml: ${e.message}`
30632+
);
30633+
} else {
30634+
}
30635+
}
3052230636
return postProcessAnnotation(results[0]);
3052330637
}
3052430638
function buildTreeSitterAnnotation(tree, mappedSource2) {

0 commit comments

Comments
 (0)