| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | some typos | Kartik K. Agaram | 2022-06-05 | 1 | -2/+2 |
| | | |||||
| * | experiment: slightly adaptive scrolling | Kartik K. Agaram | 2022-06-04 | 1 | -14/+42 |
| | | | | | | | | | | | | When long wrapping lines go past the current page, I find myself scrolling before I get to the bottom. So let's scroll less, usually from the start of the bottom-most line, even if it wraps multiple screen lines. The challenge with this is to ensure that a long line that fills the whole page by itself doesn't get you stuck. I take some care to make sure <pagedown> always makes forward progress. | ||||
| * | select text with shift + mouseclick | Kartik K. Agaram | 2022-06-04 | 1 | -0/+28 |
| | | | | | | | | It's still a bit simple-minded. Most software will keep the first bound fixed and move the second. Lines currently has the bounds in a queue of sorts. But I have a test to indicate the behavior that is definitely desired. We'll see if we need it to get more complex. | ||||
| * | extract a couple of files | Kartik K. Agaram | 2022-06-03 | 1 | -0/+931 |