| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| area/ | 04-Jul-2025 | - | 1,028 | 593 | ||
| embedding/ | 04-Jul-2025 | - | 11,026 | 7,521 | ||
| layout/ | 04-Jul-2025 | - | 614 | 412 | ||
| util/ | 04-Jul-2025 | - | 64 | 29 | ||
| WindowExtensionsImpl.java | D | 04-Jul-2025 | 8.4 KiB | 235 | 150 | |
| WindowExtensionsProvider.java | D | 04-Jul-2025 | 2.6 KiB | 83 | 44 |