| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | fix a corner case when selecting text | Kartik K. Agaram | 2022-06-09 | 1 | -0/+30 |
| * | move | Kartik K. Agaram | 2022-06-09 | 1 | -4/+4 |
| * | test both ways of selecting text with mouse | Kartik K. Agaram | 2022-06-09 | 1 | -4/+25 |
| * | another bugfix in scrolling while inserting text | Kartik K. Agaram | 2022-06-05 | 1 | -2/+21 |
| * | bugfix in previous commit | Kartik K. Agaram | 2022-06-05 | 1 | -0/+10 |
| * | check for scroll when just typing | Kartik K. Agaram | 2022-06-05 | 1 | -2/+33 |
| * | some typos | Kartik K. Agaram | 2022-06-05 | 1 | -2/+2 |
| * | experiment: slightly adaptive scrolling | Kartik K. Agaram | 2022-06-04 | 1 | -14/+42 |
| * | select text with shift + mouseclick | Kartik K. Agaram | 2022-06-04 | 1 | -0/+28 |
| * | extract a couple of files | Kartik K. Agaram | 2022-06-03 | 1 | -0/+931 |