@codingame/monaco-vscode-api 9.0.3 → 10.0.1

package/vscode/src/vs/base/parts/ipc/common/ipc.net.js

@@ -2,42 +2,6 @@ import { VSBuffer } from '../../../common/buffer.js';
 import { Emitter } from '../../../common/event.js';
 import { Disposable, DisposableStore } from '../../../common/lifecycle.js';
 import { IPCClient } from './ipc.js';
-var SocketDiagnosticsEventType;
-( (function(SocketDiagnosticsEventType) {
-    SocketDiagnosticsEventType["Created"] = "created";
-    SocketDiagnosticsEventType["Read"] = "read";
-    SocketDiagnosticsEventType["Write"] = "write";
-    SocketDiagnosticsEventType["Open"] = "open";
-    SocketDiagnosticsEventType["Error"] = "error";
-    SocketDiagnosticsEventType["Close"] = "close";
-    SocketDiagnosticsEventType["BrowserWebSocketBlobReceived"] = "browserWebSocketBlobReceived";
-    SocketDiagnosticsEventType["NodeEndReceived"] = "nodeEndReceived";
-    SocketDiagnosticsEventType["NodeEndSent"] = "nodeEndSent";
-    SocketDiagnosticsEventType["NodeDrainBegin"] = "nodeDrainBegin";
-    SocketDiagnosticsEventType["NodeDrainEnd"] = "nodeDrainEnd";
-    SocketDiagnosticsEventType["zlibInflateError"] = "zlibInflateError";
-    SocketDiagnosticsEventType["zlibInflateData"] = "zlibInflateData";
-    SocketDiagnosticsEventType["zlibInflateInitialWrite"] = "zlibInflateInitialWrite";
-    SocketDiagnosticsEventType["zlibInflateInitialFlushFired"] = "zlibInflateInitialFlushFired";
-    SocketDiagnosticsEventType["zlibInflateWrite"] = "zlibInflateWrite";
-    SocketDiagnosticsEventType["zlibInflateFlushFired"] = "zlibInflateFlushFired";
-    SocketDiagnosticsEventType["zlibDeflateError"] = "zlibDeflateError";
-    SocketDiagnosticsEventType["zlibDeflateData"] = "zlibDeflateData";
-    SocketDiagnosticsEventType["zlibDeflateWrite"] = "zlibDeflateWrite";
-    SocketDiagnosticsEventType["zlibDeflateFlushFired"] = "zlibDeflateFlushFired";
-    SocketDiagnosticsEventType["WebSocketNodeSocketWrite"] = "webSocketNodeSocketWrite";
-    SocketDiagnosticsEventType["WebSocketNodeSocketPeekedHeader"] = "webSocketNodeSocketPeekedHeader";
-    SocketDiagnosticsEventType["WebSocketNodeSocketReadHeader"] = "webSocketNodeSocketReadHeader";
-    SocketDiagnosticsEventType["WebSocketNodeSocketReadData"] = "webSocketNodeSocketReadData";
-    SocketDiagnosticsEventType["WebSocketNodeSocketUnmaskedData"] = "webSocketNodeSocketUnmaskedData";
-    SocketDiagnosticsEventType["WebSocketNodeSocketDrainBegin"] = "webSocketNodeSocketDrainBegin";
-    SocketDiagnosticsEventType["WebSocketNodeSocketDrainEnd"] = "webSocketNodeSocketDrainEnd";
-    SocketDiagnosticsEventType["ProtocolHeaderRead"] = "protocolHeaderRead";
-    SocketDiagnosticsEventType["ProtocolMessageRead"] = "protocolMessageRead";
-    SocketDiagnosticsEventType["ProtocolHeaderWrite"] = "protocolHeaderWrite";
-    SocketDiagnosticsEventType["ProtocolMessageWrite"] = "protocolMessageWrite";
-    SocketDiagnosticsEventType["ProtocolWrite"] = "protocolWrite";
-})(SocketDiagnosticsEventType || (SocketDiagnosticsEventType = {})));
 var SocketDiagnostics;
 ( (function(SocketDiagnostics) {
     SocketDiagnostics.enableDiagnostics = false;
@@ -67,11 +31,6 @@ var SocketDiagnostics;
     }
     SocketDiagnostics.traceSocketEvent = traceSocketEvent;
 })(SocketDiagnostics || (SocketDiagnostics = {})));
-var SocketCloseEventType;
-( (function(SocketCloseEventType) {
-    SocketCloseEventType[SocketCloseEventType["NodeSocketCloseEvent"] = 0] = "NodeSocketCloseEvent";
-    SocketCloseEventType[SocketCloseEventType["WebSocketCloseEvent"] = 1] = "WebSocketCloseEvent";
-})(SocketCloseEventType || (SocketCloseEventType = {})));
 let emptyBuffer = null;
 function getEmptyBuffer() {
     if (!emptyBuffer) {
@@ -151,40 +110,19 @@ class ChunkStream {
         return result;
     }
 }
-var ProtocolMessageType;
-( (function(ProtocolMessageType) {
-    ProtocolMessageType[ProtocolMessageType["None"] = 0] = "None";
-    ProtocolMessageType[ProtocolMessageType["Regular"] = 1] = "Regular";
-    ProtocolMessageType[ProtocolMessageType["Control"] = 2] = "Control";
-    ProtocolMessageType[ProtocolMessageType["Ack"] = 3] = "Ack";
-    ProtocolMessageType[ProtocolMessageType["Disconnect"] = 5] = "Disconnect";
-    ProtocolMessageType[ProtocolMessageType["ReplayRequest"] = 6] = "ReplayRequest";
-    ProtocolMessageType[ProtocolMessageType["Pause"] = 7] = "Pause";
-    ProtocolMessageType[ProtocolMessageType["Resume"] = 8] = "Resume";
-    ProtocolMessageType[ProtocolMessageType["KeepAlive"] = 9] = "KeepAlive";
-})(ProtocolMessageType || (ProtocolMessageType = {})));
 function protocolMessageTypeToString(messageType) {
     switch (messageType) {
-        case ProtocolMessageType.None: return 'None';
-        case ProtocolMessageType.Regular: return 'Regular';
-        case ProtocolMessageType.Control: return 'Control';
-        case ProtocolMessageType.Ack: return 'Ack';
-        case ProtocolMessageType.Disconnect: return 'Disconnect';
-        case ProtocolMessageType.ReplayRequest: return 'ReplayRequest';
-        case ProtocolMessageType.Pause: return 'PauseWriting';
-        case ProtocolMessageType.Resume: return 'ResumeWriting';
-        case ProtocolMessageType.KeepAlive: return 'KeepAlive';
+        case 0 : return 'None';
+        case 1 : return 'Regular';
+        case 2 : return 'Control';
+        case 3 : return 'Ack';
+        case 5 : return 'Disconnect';
+        case 6 : return 'ReplayRequest';
+        case 7 : return 'PauseWriting';
+        case 8 : return 'ResumeWriting';
+        case 9 : return 'KeepAlive';
     }
 }
-var ProtocolConstants;
-( (function(ProtocolConstants) {
-    ProtocolConstants[ProtocolConstants["HeaderLength"] = 13] = "HeaderLength";
-    ProtocolConstants[ProtocolConstants["AcknowledgeTime"] = 2000] = "AcknowledgeTime";
-    ProtocolConstants[ProtocolConstants["TimeoutTime"] = 20000] = "TimeoutTime";
-    ProtocolConstants[ProtocolConstants["ReconnectionGraceTime"] = 10800000] = "ReconnectionGraceTime";
-    ProtocolConstants[ProtocolConstants["ReconnectionShortGraceTime"] = 300000] = "ReconnectionShortGraceTime";
-    ProtocolConstants[ProtocolConstants["KeepAliveSendTime"] = 5000] = "KeepAliveSendTime";
-})(ProtocolConstants || (ProtocolConstants = {})));
 class ProtocolMessage {
     constructor(type, id, ack, data) {
         this.type = type;
@@ -204,8 +142,8 @@ class ProtocolReader extends Disposable {
         this.onMessage = this._onMessage.event;
         this._state = {
             readHead: true,
-            readLen: ProtocolConstants.HeaderLength,
-            messageType: ProtocolMessageType.None,
+            readLen: 13 ,
+            messageType: 0 ,
             id: 0,
             ack: 0
         };
@@ -229,18 +167,18 @@ class ProtocolReader extends Disposable {
                 this._state.messageType = buff.readUInt8(0);
                 this._state.id = buff.readUInt32BE(1);
                 this._state.ack = buff.readUInt32BE(5);
-                this._socket.traceSocketEvent(SocketDiagnosticsEventType.ProtocolHeaderRead, { messageType: protocolMessageTypeToString(this._state.messageType), id: this._state.id, ack: this._state.ack, messageSize: this._state.readLen });
+                this._socket.traceSocketEvent("protocolHeaderRead" , { messageType: protocolMessageTypeToString(this._state.messageType), id: this._state.id, ack: this._state.ack, messageSize: this._state.readLen });
             }
             else {
                 const messageType = this._state.messageType;
                 const id = this._state.id;
                 const ack = this._state.ack;
                 this._state.readHead = true;
-                this._state.readLen = ProtocolConstants.HeaderLength;
-                this._state.messageType = ProtocolMessageType.None;
+                this._state.readLen = 13 ;
+                this._state.messageType = 0 ;
                 this._state.id = 0;
                 this._state.ack = 0;
-                this._socket.traceSocketEvent(SocketDiagnosticsEventType.ProtocolMessageRead, buff);
+                this._socket.traceSocketEvent("protocolMessageRead" , buff);
                 this._onMessage.fire(( new ProtocolMessage(messageType, id, ack, buff)));
                 if (this._isDisposed) {
                     break;
@@ -294,13 +232,13 @@ class ProtocolWriter {
         }
         msg.writtenTime = Date.now();
         this.lastWriteTime = Date.now();
-        const header = VSBuffer.alloc(ProtocolConstants.HeaderLength);
+        const header = VSBuffer.alloc(13 );
         header.writeUInt8(msg.type, 0);
         header.writeUInt32BE(msg.id, 1);
         header.writeUInt32BE(msg.ack, 5);
         header.writeUInt32BE(msg.data.byteLength, 9);
-        this._socket.traceSocketEvent(SocketDiagnosticsEventType.ProtocolHeaderWrite, { messageType: protocolMessageTypeToString(msg.type), id: msg.id, ack: msg.ack, messageSize: msg.data.byteLength });
-        this._socket.traceSocketEvent(SocketDiagnosticsEventType.ProtocolMessageWrite, msg.data);
+        this._socket.traceSocketEvent("protocolHeaderWrite" , { messageType: protocolMessageTypeToString(msg.type), id: msg.id, ack: msg.ack, messageSize: msg.data.byteLength });
+        this._socket.traceSocketEvent("protocolMessageWrite" , msg.data);
         this._writeSoon(header, msg.data);
     }
     _bufferAdd(head, body) {
@@ -337,7 +275,7 @@ class ProtocolWriter {
             return;
         }
         const data = this._bufferTake();
-        this._socket.traceSocketEvent(SocketDiagnosticsEventType.ProtocolWrite, { byteLength: data.byteLength });
+        this._socket.traceSocketEvent("protocolWrite" , { byteLength: data.byteLength });
         this._socket.write(data);
     }
 }
@@ -352,7 +290,7 @@ class Protocol extends Disposable {
         this._socketWriter = this._register(( new ProtocolWriter(this._socket)));
         this._socketReader = this._register(( new ProtocolReader(this._socket)));
         this._register(this._socketReader.onMessage((msg) => {
-            if (msg.type === ProtocolMessageType.Regular) {
+            if (msg.type === 1 ) {
                 this._onMessage.fire(msg.data);
             }
         }));
@@ -367,7 +305,7 @@ class Protocol extends Disposable {
     sendDisconnect() {
     }
     send(buffer) {
-        this._socketWriter.write(( new ProtocolMessage(ProtocolMessageType.Regular, 0, 0, buffer)));
+        this._socketWriter.write(( new ProtocolMessage(1 , 0, 0, buffer)));
     }
 }
 class Client extends IPCClient {
@@ -565,7 +503,7 @@ class PersistentProtocol {
         if (this._shouldSendKeepAlive) {
             this._keepAliveInterval = setInterval(() => {
                 this._sendKeepAlive();
-            }, ProtocolConstants.KeepAliveSendTime);
+            }, 5000 );
         }
         else {
             this._keepAliveInterval = null;
@@ -592,17 +530,17 @@ class PersistentProtocol {
     sendDisconnect() {
         if (!this._didSendDisconnect) {
             this._didSendDisconnect = true;
-            const msg = ( new ProtocolMessage(ProtocolMessageType.Disconnect, 0, 0, getEmptyBuffer()));
+            const msg = ( new ProtocolMessage(5 , 0, 0, getEmptyBuffer()));
             this._socketWriter.write(msg);
             this._socketWriter.flush();
         }
     }
     sendPause() {
-        const msg = ( new ProtocolMessage(ProtocolMessageType.Pause, 0, 0, getEmptyBuffer()));
+        const msg = ( new ProtocolMessage(7 , 0, 0, getEmptyBuffer()));
         this._socketWriter.write(msg);
     }
     sendResume() {
-        const msg = ( new ProtocolMessage(ProtocolMessageType.Resume, 0, 0, getEmptyBuffer()));
+        const msg = ( new ProtocolMessage(8 , 0, 0, getEmptyBuffer()));
         this._socketWriter.write(msg);
     }
     pauseSocketWriting() {
@@ -634,7 +572,7 @@ class PersistentProtocol {
     endAcceptReconnection() {
         this._isReconnecting = false;
         this._incomingAckId = this._incomingMsgId;
-        const msg = ( new ProtocolMessage(ProtocolMessageType.Ack, 0, this._incomingAckId, getEmptyBuffer()));
+        const msg = ( new ProtocolMessage(3 , 0, this._incomingAckId, getEmptyBuffer()));
         this._socketWriter.write(msg);
         const toSend = this._outgoingUnackMsg.toArray();
         for (let i = 0, len = toSend.length; i < len; i++) {
@@ -659,16 +597,16 @@ class PersistentProtocol {
             } while (true);
         }
         switch (msg.type) {
-            case ProtocolMessageType.None: {
+            case 0 : {
                 break;
             }
-            case ProtocolMessageType.Regular: {
+            case 1 : {
                 if (msg.id > this._incomingMsgId) {
                     if (msg.id !== this._incomingMsgId + 1) {
                         const now = Date.now();
                         if (now - this._lastReplayRequestTime > 10000) {
                             this._lastReplayRequestTime = now;
-                            this._socketWriter.write(( new ProtocolMessage(ProtocolMessageType.ReplayRequest, 0, 0, getEmptyBuffer())));
+                            this._socketWriter.write(( new ProtocolMessage(6 , 0, 0, getEmptyBuffer())));
                         }
                     }
                     else {
@@ -680,18 +618,18 @@ class PersistentProtocol {
                 }
                 break;
             }
-            case ProtocolMessageType.Control: {
+            case 2 : {
                 this._onControlMessage.fire(msg.data);
                 break;
             }
-            case ProtocolMessageType.Ack: {
+            case 3 : {
                 break;
             }
-            case ProtocolMessageType.Disconnect: {
+            case 5 : {
                 this._onDidDispose.fire();
                 break;
             }
-            case ProtocolMessageType.ReplayRequest: {
+            case 6 : {
                 const toSend = this._outgoingUnackMsg.toArray();
                 for (let i = 0, len = toSend.length; i < len; i++) {
                     this._socketWriter.write(toSend[i]);
@@ -699,11 +637,11 @@ class PersistentProtocol {
                 this._recvAckCheck();
                 break;
             }
-            case ProtocolMessageType.Pause: {
+            case 7 : {
                 this._socketWriter.pause();
                 break;
             }
-            case ProtocolMessageType.Resume: {
+            case 8 : {
                 this._socketWriter.resume();
                 break;
             }
@@ -718,7 +656,7 @@ class PersistentProtocol {
     send(buffer) {
         const myId = ++this._outgoingMsgId;
         this._incomingAckId = this._incomingMsgId;
-        const msg = ( new ProtocolMessage(ProtocolMessageType.Regular, myId, this._incomingAckId, buffer));
+        const msg = ( new ProtocolMessage(1 , myId, this._incomingAckId, buffer));
         this._outgoingUnackMsg.push(msg);
         if (!this._isReconnecting) {
             this._socketWriter.write(msg);
@@ -726,7 +664,7 @@ class PersistentProtocol {
         }
     }
     sendControl(buffer) {
-        const msg = ( new ProtocolMessage(ProtocolMessageType.Control, 0, 0, buffer));
+        const msg = ( new ProtocolMessage(2 , 0, 0, buffer));
         this._socketWriter.write(msg);
     }
     _sendAckCheck() {
@@ -737,14 +675,14 @@ class PersistentProtocol {
             return;
         }
         const timeSinceLastIncomingMsg = Date.now() - this._incomingMsgLastTime;
-        if (timeSinceLastIncomingMsg >= ProtocolConstants.AcknowledgeTime) {
+        if (timeSinceLastIncomingMsg >= 2000 ) {
             this._sendAck();
             return;
         }
         this._incomingAckTimeout = setTimeout(() => {
             this._incomingAckTimeout = null;
             this._sendAckCheck();
-        }, ProtocolConstants.AcknowledgeTime - timeSinceLastIncomingMsg + 5);
+        }, 2000  - timeSinceLastIncomingMsg + 5);
     }
     _recvAckCheck() {
         if (this._outgoingMsgId <= this._outgoingAckId) {
@@ -760,9 +698,9 @@ class PersistentProtocol {
         const timeSinceOldestUnacknowledgedMsg = Date.now() - oldestUnacknowledgedMsg.writtenTime;
         const timeSinceLastReceivedSomeData = Date.now() - this._socketReader.lastReadTime;
         const timeSinceLastTimeout = Date.now() - this._lastSocketTimeoutTime;
-        if (timeSinceOldestUnacknowledgedMsg >= ProtocolConstants.TimeoutTime
-            && timeSinceLastReceivedSomeData >= ProtocolConstants.TimeoutTime
-            && timeSinceLastTimeout >= ProtocolConstants.TimeoutTime) {
+        if (timeSinceOldestUnacknowledgedMsg >= 20000
+            && timeSinceLastReceivedSomeData >= 20000
+            && timeSinceLastTimeout >= 20000 ) {
             if (!this._loadEstimator.hasHighLoad()) {
                 this._lastSocketTimeoutTime = Date.now();
                 this._onSocketTimeout.fire({
@@ -773,7 +711,7 @@ class PersistentProtocol {
                 return;
             }
         }
-        const minimumTimeUntilTimeout = Math.max(ProtocolConstants.TimeoutTime - timeSinceOldestUnacknowledgedMsg, ProtocolConstants.TimeoutTime - timeSinceLastReceivedSomeData, ProtocolConstants.TimeoutTime - timeSinceLastTimeout, 500);
+        const minimumTimeUntilTimeout = Math.max(20000  - timeSinceOldestUnacknowledgedMsg, 20000  - timeSinceLastReceivedSomeData, 20000  - timeSinceLastTimeout, 500);
         this._outgoingAckTimeout = setTimeout(() => {
             this._outgoingAckTimeout = null;
             this._recvAckCheck();
@@ -784,13 +722,18 @@ class PersistentProtocol {
             return;
         }
         this._incomingAckId = this._incomingMsgId;
-        const msg = ( new ProtocolMessage(ProtocolMessageType.Ack, 0, this._incomingAckId, getEmptyBuffer()));
+        const msg = ( new ProtocolMessage(3 , 0, this._incomingAckId, getEmptyBuffer()));
         this._socketWriter.write(msg);
     }
     _sendKeepAlive() {
         this._incomingAckId = this._incomingMsgId;
-        const msg = ( new ProtocolMessage(ProtocolMessageType.KeepAlive, 0, this._incomingAckId, getEmptyBuffer()));
+        const msg = ( new ProtocolMessage(
+            9 ,
+            0,
+            this._incomingAckId,
+            getEmptyBuffer()
+        ));
         this._socketWriter.write(msg);
     }
 }
-export { BufferedEmitter, ChunkStream, Client, PersistentProtocol, Protocol, ProtocolConstants, SocketCloseEventType, SocketDiagnostics, SocketDiagnosticsEventType };
+export { BufferedEmitter, ChunkStream, Client, PersistentProtocol, Protocol, SocketDiagnostics };

package/vscode/src/vs/editor/browser/config/charWidthReader.js

@@ -1,10 +1,4 @@
 import { applyFontInfo } from './domFontInfo.js';
-var CharWidthRequestType;
-( (function(CharWidthRequestType) {
-    CharWidthRequestType[CharWidthRequestType["Regular"] = 0] = "Regular";
-    CharWidthRequestType[CharWidthRequestType["Italic"] = 1] = "Italic";
-    CharWidthRequestType[CharWidthRequestType["Bold"] = 2] = "Bold";
-})(CharWidthRequestType || (CharWidthRequestType = {})));
 class CharWidthRequest {
     constructor(chr, type) {
         this.chr = chr;
@@ -49,13 +43,13 @@ class DomCharWidthReader {
         const testElements = [];
         for (const request of this._requests) {
             let parent;
-            if (request.type === CharWidthRequestType.Regular) {
+            if (request.type === 0 ) {
                 parent = regularDomNode;
             }
-            if (request.type === CharWidthRequestType.Bold) {
+            if (request.type === 2 ) {
                 parent = boldDomNode;
             }
-            if (request.type === CharWidthRequestType.Italic) {
+            if (request.type === 1 ) {
                 parent = italicDomNode;
             }
             parent.appendChild(document.createElement('br'));
@@ -95,4 +89,4 @@ function readCharWidths(targetWindow, bareFontInfo, requests) {
     const reader = ( new DomCharWidthReader(bareFontInfo, requests));
     reader.read(targetWindow);
 }
-export { CharWidthRequest, CharWidthRequestType, readCharWidths };
+export { CharWidthRequest, readCharWidths };

package/vscode/src/vs/editor/browser/config/editorConfiguration.js

@@ -9,10 +9,9 @@ import { ElementSizeObserver } from './elementSizeObserver.js';
 import { FontMeasurements } from './fontMeasurements.js';
 import { migrateOptions } from './migrateOptions.js';
 import { TabFocus } from './tabFocus.js';
-import { ComputeOptionsMemory, EditorOption, editorOptionsRegistry, ConfigurationChangedEvent } from '../../common/config/editorOptions.js';
+import { ComputeOptionsMemory, editorOptionsRegistry, ConfigurationChangedEvent } from '../../common/config/editorOptions.js';
 import { EditorZoom } from '../../common/config/editorZoom.js';
 import { BareFontInfo } from '../../common/config/fontInfo.js';
-import { AccessibilitySupport } from '../../../platform/accessibility/common/accessibility.js';
 import { IAccessibilityService } from '../../../platform/accessibility/common/accessibility.service.js';
 import { getWindow, getWindowById } from '../../../base/browser/dom.js';
 import { PixelRatio } from '../../../base/browser/pixelRatio.js';
@@ -38,7 +37,7 @@ let EditorConfiguration = class EditorConfiguration extends Disposable {
         this._rawOptions = deepCloneAndMigrateOptions(options);
         this._validatedOptions = EditorOptionsUtil.validateOptions(this._rawOptions);
         this.options = this._computeOptions();
-        if (this.options.get(EditorOption.automaticLayout)) {
+        if (this.options.get(13 )) {
             this._containerObserver.startObserving();
         }
         this._register(EditorZoom.onDidChangeZoomLevel(() => this._recomputeOptions()));
@@ -87,7 +86,7 @@ let EditorConfiguration = class EditorConfiguration extends Disposable {
             emptySelectionClipboard: isWebKit || isFirefox,
             pixelRatio: PixelRatio.getInstance(getWindowById(this._targetWindowId, true).window).value,
             accessibilitySupport: (this._accessibilityService.isScreenReaderOptimized()
-                ? AccessibilitySupport.Enabled
+                ? 2
                 : this._accessibilityService.getAccessibilitySupport())
         };
     }

package/vscode/src/vs/editor/browser/config/fontMeasurements.js

@@ -2,7 +2,7 @@ import { getWindowId } from '../../../base/browser/dom.js';
 import { PixelRatio } from '../../../base/browser/pixelRatio.js';
 import { Emitter } from '../../../base/common/event.js';
 import { Disposable } from '../../../base/common/lifecycle.js';
-import { CharWidthRequestType, readCharWidths, CharWidthRequest } from './charWidthReader.js';
+import { readCharWidths, CharWidthRequest } from './charWidthReader.js';
 import { EditorFontLigatures } from '../../common/config/editorOptions.js';
 import { SERIALIZED_FONT_INFO_VERSION, FontInfo } from '../../common/config/fontInfo.js';
 class FontMeasurementsImpl extends Disposable {
@@ -107,28 +107,28 @@ class FontMeasurementsImpl extends Disposable {
     _actualReadFontInfo(targetWindow, bareFontInfo) {
         const all = [];
         const monospace = [];
-        const typicalHalfwidthCharacter = this._createRequest('n', CharWidthRequestType.Regular, all, monospace);
-        const typicalFullwidthCharacter = this._createRequest('\uff4d', CharWidthRequestType.Regular, all, null);
-        const space = this._createRequest(' ', CharWidthRequestType.Regular, all, monospace);
-        const digit0 = this._createRequest('0', CharWidthRequestType.Regular, all, monospace);
-        const digit1 = this._createRequest('1', CharWidthRequestType.Regular, all, monospace);
-        const digit2 = this._createRequest('2', CharWidthRequestType.Regular, all, monospace);
-        const digit3 = this._createRequest('3', CharWidthRequestType.Regular, all, monospace);
-        const digit4 = this._createRequest('4', CharWidthRequestType.Regular, all, monospace);
-        const digit5 = this._createRequest('5', CharWidthRequestType.Regular, all, monospace);
-        const digit6 = this._createRequest('6', CharWidthRequestType.Regular, all, monospace);
-        const digit7 = this._createRequest('7', CharWidthRequestType.Regular, all, monospace);
-        const digit8 = this._createRequest('8', CharWidthRequestType.Regular, all, monospace);
-        const digit9 = this._createRequest('9', CharWidthRequestType.Regular, all, monospace);
-        const rightwardsArrow = this._createRequest('→', CharWidthRequestType.Regular, all, monospace);
-        const halfwidthRightwardsArrow = this._createRequest('￫', CharWidthRequestType.Regular, all, null);
-        const middot = this._createRequest('·', CharWidthRequestType.Regular, all, monospace);
-        const wsmiddotWidth = this._createRequest(String.fromCharCode(0x2E31), CharWidthRequestType.Regular, all, null);
+        const typicalHalfwidthCharacter = this._createRequest('n', 0 , all, monospace);
+        const typicalFullwidthCharacter = this._createRequest('\uff4d', 0 , all, null);
+        const space = this._createRequest(' ', 0 , all, monospace);
+        const digit0 = this._createRequest('0', 0 , all, monospace);
+        const digit1 = this._createRequest('1', 0 , all, monospace);
+        const digit2 = this._createRequest('2', 0 , all, monospace);
+        const digit3 = this._createRequest('3', 0 , all, monospace);
+        const digit4 = this._createRequest('4', 0 , all, monospace);
+        const digit5 = this._createRequest('5', 0 , all, monospace);
+        const digit6 = this._createRequest('6', 0 , all, monospace);
+        const digit7 = this._createRequest('7', 0 , all, monospace);
+        const digit8 = this._createRequest('8', 0 , all, monospace);
+        const digit9 = this._createRequest('9', 0 , all, monospace);
+        const rightwardsArrow = this._createRequest('→', 0 , all, monospace);
+        const halfwidthRightwardsArrow = this._createRequest('￫', 0 , all, null);
+        const middot = this._createRequest('·', 0 , all, monospace);
+        const wsmiddotWidth = this._createRequest(String.fromCharCode(0x2E31), 0 , all, null);
         const monospaceTestChars = '|/-_ilm%';
         for (let i = 0, len = monospaceTestChars.length; i < len; i++) {
-            this._createRequest(monospaceTestChars.charAt(i), CharWidthRequestType.Regular, all, monospace);
-            this._createRequest(monospaceTestChars.charAt(i), CharWidthRequestType.Italic, all, monospace);
-            this._createRequest(monospaceTestChars.charAt(i), CharWidthRequestType.Bold, all, monospace);
+            this._createRequest(monospaceTestChars.charAt(i), 0 , all, monospace);
+            this._createRequest(monospaceTestChars.charAt(i), 1 , all, monospace);
+            this._createRequest(monospaceTestChars.charAt(i), 2 , all, monospace);
         }
         readCharWidths(targetWindow, bareFontInfo, all);
         const maxDigitWidth = Math.max(digit0.width, digit1.width, digit2.width, digit3.width, digit4.width, digit5.width, digit6.width, digit7.width, digit8.width, digit9.width);

package/vscode/src/vs/editor/browser/controller/editContext/clipboardUtils.js

@@ -0,0 +1,45 @@
+import { isWindows } from '../../../../base/common/platform.js';
+function getDataToCopy(viewModel, modelSelections, emptySelectionClipboard, copyWithSyntaxHighlighting) {
+    const rawTextToCopy = viewModel.getPlainTextToCopy(modelSelections, emptySelectionClipboard, isWindows);
+    const newLineCharacter = viewModel.model.getEOL();
+    const isFromEmptySelection = (emptySelectionClipboard && modelSelections.length === 1 && modelSelections[0].isEmpty());
+    const multicursorText = (Array.isArray(rawTextToCopy) ? rawTextToCopy : null);
+    const text = (Array.isArray(rawTextToCopy) ? rawTextToCopy.join(newLineCharacter) : rawTextToCopy);
+    let html = undefined;
+    let mode = null;
+    if (CopyOptions.forceCopyWithSyntaxHighlighting || (copyWithSyntaxHighlighting && text.length < 65536)) {
+        const richText = viewModel.getRichTextToCopy(modelSelections, emptySelectionClipboard);
+        if (richText) {
+            html = richText.html;
+            mode = richText.mode;
+        }
+    }
+    const dataToCopy = {
+        isFromEmptySelection,
+        multicursorText,
+        text,
+        html,
+        mode
+    };
+    return dataToCopy;
+}
+class InMemoryClipboardMetadataManager {
+    static { this.INSTANCE = ( new InMemoryClipboardMetadataManager()); }
+    constructor() {
+        this._lastState = null;
+    }
+    set(lastCopiedValue, data) {
+        this._lastState = { lastCopiedValue, data };
+    }
+    get(pastedText) {
+        if (this._lastState && this._lastState.lastCopiedValue === pastedText) {
+            return this._lastState.data;
+        }
+        this._lastState = null;
+        return null;
+    }
+}
+const CopyOptions = {
+    forceCopyWithSyntaxHighlighting: false
+};
+export { CopyOptions, InMemoryClipboardMetadataManager, getDataToCopy };

package/vscode/src/vs/editor/browser/controller/editContext/editContextUtils.js

@@ -0,0 +1,4 @@
+import { ViewPart } from '../../view/viewPart.js';
+class AbstractEditContext extends ViewPart {
+}
+export { AbstractEditContext };

package/vscode/src/vs/editor/browser/controller/editContext/native/nativeEditContext.css.js

@@ -0,0 +1,4 @@
+import n from '../../../../../../../../external/rollup-plugin-styles/dist/runtime/inject-css.js';
+var css = ".monaco-editor .native-edit-context{text-wrap:nowrap;margin:0;overflow:hidden;padding:0;position:absolute;white-space:pre-wrap;z-index:-10}.monaco-editor .edit-context-composition-none{background-color:transparent}.monaco-editor .edit-context-composition-secondary{background-color:var(--vscode-editor-selectionBackground)}.monaco-editor .edit-context-composition-primary{background-color:var(--vscode-editor-selectionHighlightBackground)}";
+n(css,{});
+export { css, css as default };