Mirrors/PowerToys
1
0
Fork 0
mirror of https://github.com/microsoft/PowerToys.git synced 2026-04-04 02:06:36 +02:00
Code Issues Packages Projects Releases Wiki Activity

Update monaco package (#26375)

Browse Source 
* Update monaco

* Update monaco_labgzages.json

* Update monaco_languages

* Add script to generate MonacoSRC.wxs

* Fix merge conflicts

* Auto-generate MonacoSRC.wxs

* Add guards when parsing json file

* Change language definitions to new ones and fix context menu

* Fix redunant error message

* update monaco_languages.json

* Remove json from custom txt extensions

---------

Co-authored-by: Stefan Markovic <stefan@janeasystems.com>
This commit is contained in:
Aaron Junker
2023-07-14 11:48:59 +02:00
committed by GitHub
parent b0cb40eaff
commit 704c2e0540
125 changed files with 39504 additions and 2230 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/modules/peek/Peek.FilePreviewer/Previewers/WebBrowserPreviewer/Helpers/MonacoHelper.cs
View File

@@ -24,9 +24,12 @@ namespace Peek.FilePreviewer.Previewers
JsonElement languageList = languageListDocument.RootElement.GetProperty("list");
foreach (JsonElement e in languageList.EnumerateArray())
{
for (int j = 0; j < e.GetProperty("extensions").GetArrayLength(); j++)
if (e.TryGetProperty("extensions", out var extensions))
{
set.Add(e.GetProperty("extensions")[j].ToString());
for (int j = 0; j < extensions.GetArrayLength(); j++)
{
set.Add(extensions[j].ToString());
}
}
}
}

9
src/modules/previewpane/MonacoPreviewHandler/FileHandler.cs
View File

@@ -26,11 +26,14 @@ namespace Microsoft.PowerToys.PreviewHandler.Monaco
JsonElement languageList = languageListDocument.RootElement.GetProperty("list");
foreach (JsonElement e in languageList.EnumerateArray())
{
for (int j = 0; j < e.GetProperty("extensions").GetArrayLength(); j++)
if (e.TryGetProperty("extensions", out var extensions))
{
if (e.GetProperty("extensions")[j].ToString() == fileExtension)
for (int j = 0; j < extensions.GetArrayLength(); j++)
{
return e.GetProperty("id").ToString();
if (extensions[j].ToString() == fileExtension)
{
return e.GetProperty("id").ToString();
}
}
}
}