src/Tools/VSCode/patches/isabelle_encoding.patch

partial update for vscodium-1.103.25610: only for linux;

diff --git a/src/vs/workbench/services/textfile/common/encoding.ts b/src/vs/workbench/services/textfile/common/encoding.ts
index 4fee9c5..97cbff7 100644
--- a/src/vs/workbench/services/textfile/common/encoding.ts
+++ b/src/vs/workbench/services/textfile/common/encoding.ts
@@ -8,6 +8,7 @@ import { VSBuffer, VSBufferReadable, VSBufferReadableStream } from '../../../../
 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 @@ class DecoderStream implements IDecoderStream {
 	 */
 	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 function toDecodeStream(source: VSBufferReadableStream, options: IDecodeS
 
 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 toEncodeReadable(readable: Readable<string>, encoding: str
 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 @@ export function detectEncodingFromBuffer({ buffer, bytesRead }: IReadResult, aut
 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',