| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| WidgetInterface.php | 2026-10-12 10:44 | 598 | ||
| Area.php | 2026-10-12 10:44 | 809 | ||
| LinesWidget.php | 2026-10-12 10:44 | 1.0K | ||
| OverlayViewport.php | 2026-10-12 10:44 | 1.8K | ||
| Frame.php | 2026-10-12 10:44 | 2.0K | ||
| LineMetrics.php | 2026-10-12 10:44 | 2.9K | ||
| HistorySearchOverlay..> | 2026-10-12 10:44 | 4.5K | ||
| CompletionMenuWidget..> | 2026-10-12 10:44 | 7.6K | ||
| PagerWidget.php | 2026-10-12 10:44 | 8.0K | ||
| FrameRenderer.php | 2026-10-12 10:44 | 11K | ||
| InputFrameWidget.php | 2026-10-12 10:44 | 14K | ||