| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| Display.js | File | 4.75 KB | 0644 | Edit | Rename | Chmod | Delete |
| focus.js | File | 1.55 KB | 0644 | Edit | Rename | Chmod | Delete |
| gutters.js | File | 1.52 KB | 0644 | Edit | Rename | Chmod | Delete |
| highlight_worker.js | File | 2.22 KB | 0644 | Edit | Rename | Chmod | Delete |
| line_numbers.js | File | 2.12 KB | 0644 | Edit | Rename | Chmod | Delete |
| mode_state.js | File | 621 B | 0644 | Edit | Rename | Chmod | Delete |
| operations.js | File | 7.89 KB | 0644 | Edit | Rename | Chmod | Delete |
| scroll_events.js | File | 4.85 KB | 0644 | Edit | Rename | Chmod | Delete |
| scrollbars.js | File | 7.31 KB | 0644 | Edit | Rename | Chmod | Delete |
| scrolling.js | File | 7.98 KB | 0644 | Edit | Rename | Chmod | Delete |
| selection.js | File | 7.29 KB | 0644 | Edit | Rename | Chmod | Delete |
| update_display.js | File | 10.26 KB | 0644 | Edit | Rename | Chmod | Delete |
| update_line.js | File | 7.8 KB | 0644 | Edit | Rename | Chmod | Delete |
| update_lines.js | File | 3.39 KB | 0644 | Edit | Rename | Chmod | Delete |
| view_tracking.js | File | 5.26 KB | 0644 | Edit | Rename | Chmod | Delete |