|
diff -Nru -- vscode.orig/src/vs/workbench/services/textfile/common/encoding.ts vscode/src/vs/workbench/services/textfile/common/encoding.ts
--- vscode.orig/src/vs/workbench/services/textfile/common/encoding.ts 2025-11-11 15:34:41.793864439 +0100
+++ vscode/src/vs/workbench/services/textfile/common/encoding.ts 2025-11-11 15:34:42.211349064 +0100
@@ -8,6 +8,7 @@
import { importAMDNodeModule } from '../../../../amdX.js';
import { CancellationTokenSource } from '../../../../base/common/cancellation.js';
import { coalesce } from '../../../../base/common/arrays.js';
+import * as isabelle_encoding from './isabelle_encoding.js';
export const UTF8 = 'utf8';
export const UTF8_with_bom = 'utf8bom';
@@ -81,7 +82,9 @@
*/
static async create(encoding: string): Promise<DecoderStream> {
let decoder: IDecoderStream | undefined = undefined;
- if (encoding !== UTF8) {
+ if (encoding === isabelle_encoding.ENCODING) {
+ decoder = isabelle_encoding.getDecoder();
+ } else if (encoding !== UTF8) {
const iconv = await importAMDNodeModule<typeof import('@vscode/iconv-lite-umd')>('@vscode/iconv-lite-umd', 'lib/iconv-lite-umd.js');
decoder = iconv.getDecoder(toNodeEncoding(encoding));
} else {
@@ -216,7 +219,9 @@
export async function toEncodeReadable(readable: Readable<string>, encoding: string, options?: { addBOM?: boolean }): Promise<VSBufferReadable> {
const iconv = await importAMDNodeModule<typeof import('@vscode/iconv-lite-umd')>('@vscode/iconv-lite-umd', 'lib/iconv-lite-umd.js');
- const encoder = iconv.getEncoder(toNodeEncoding(encoding), options);
+ const encoder =
+ encoding === isabelle_encoding.ENCODING ?
+ isabelle_encoding.getEncoder() : iconv.getEncoder(toNodeEncoding(encoding), options);
let bytesWritten = false;
let done = false;
@@ -266,7 +271,7 @@
export async function encodingExists(encoding: string): Promise<boolean> {
const iconv = await importAMDNodeModule<typeof import('@vscode/iconv-lite-umd')>('@vscode/iconv-lite-umd', 'lib/iconv-lite-umd.js');
- return iconv.encodingExists(toNodeEncoding(encoding));
+ return encoding === isabelle_encoding.ENCODING || iconv.encodingExists(toNodeEncoding(encoding));
}
export function toNodeEncoding(enc: string | null): string {
@@ -510,6 +515,11 @@
type EncodingsMap = { [encoding: string]: { labelLong: string; labelShort: string; order: number; encodeOnly?: boolean; alias?: string; guessableName?: string } };
export const SUPPORTED_ENCODINGS: EncodingsMap = {
+ utf8isabelle: {
+ labelLong: isabelle_encoding.LABEL,
+ labelShort: isabelle_encoding.LABEL,
+ order: 0,
+ },
utf8: {
labelLong: 'UTF-8',
labelShort: 'UTF-8',
[ Dauer der Verarbeitung: 0.44 Sekunden
(vorverarbeitet)
]
|
