| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | move | Kartik K. Agaram | 2022-06-09 | 1 | -6/+6 |
| | | |||||
| * | speeding up copy, attempt 1 | Kartik K. Agaram | 2022-06-09 | 1 | -4/+4 |
| | | | | | | | | | | | | | | | Problem: repeatedly copying (relatively large) sections of text quickly makes the app sluggish until it has to be killed. (Thanks John Blommers for the report.) When I instrument with prints, the sluggishness seems to happen in random draw() calls many times after I perform the copy. I don't know for sure, but I'm initially checking if the cause is garbage generated by repeated string concatenation. This attempt doesn't seem to make any difference. | ||||
| * | more precise search highlighting | Kartik K. Agaram | 2022-06-03 | 1 | -0/+3 |
| | | |||||
| * | extract a function | Kartik K. Agaram | 2022-06-03 | 1 | -0/+24 |
| | | |||||
| * | extract a couple of files | Kartik K. Agaram | 2022-06-03 | 1 | -0/+153 |