| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| colors.js | 2025-08-01 16:17 | 1.3K | ||
| diffEditorItemTempla..> | 2025-08-01 16:17 | 13K | ||
| model.js | 2025-08-01 16:17 | 363 | ||
| multiDiffEditorViewM..> | 2025-08-01 16:17 | 5.2K | ||
| multiDiffEditorWidge..> | 2025-08-01 16:17 | 2.6K | ||
| multiDiffEditorWidge..> | 2025-08-01 16:17 | 16K | ||
| objectPool.js | 2025-08-01 16:17 | 1.3K | ||
| style.css | 2025-08-01 16:17 | 2.5K | ||
| utils.js | 2025-08-01 16:17 | 700 | ||
| workbenchUIElementFa..> | 2025-08-01 16:17 | 363 | ||