An error occurred while fetching folder content.
Benno Schulenberg
authored
It's not yet good enough: when proper_x() pushes the index forward, maybe it should also increase leftedge? Or go_forward_chunks()?
| Name | Last commit | Last update |
|---|