../ charWidthReader.js 22-Sep-2023 17:00 3873 domFontInfo.js 22-Sep-2023 17:00 1525 editorConfiguration.js 22-Sep-2023 17:00 11222 elementSizeObserver.js 22-Sep-2023 17:00 2698 fontMeasurements.js 22-Sep-2023 17:00 9150 migrateOptions.js 22-Sep-2023 17:00 5140 tabFocus.js 22-Sep-2023 17:00 1142