| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | mouse wheel support | Kartik K. Agaram | 2023-03-23 | 1 | -0/+14 |
| * | get rid of all bifold text | Kartik K. Agaram | 2023-03-17 | 1 | -76/+27 |
| * | bring a few things in sync between run and source | Kartik K. Agaram | 2023-03-17 | 1 | -3/+5 |
| * | bugfix: disallow font size of 0 | Kartik K. Agaram | 2023-03-17 | 1 | -2/+4 |
| * | state validation in source editor as well | Kartik K. Agaram | 2023-03-17 | 1 | -2/+24 |
| * | bugfix | Kartik K. Agaram | 2023-02-09 | 1 | -0/+1 |
| * | bugfix | Kartik K. Agaram | 2022-12-24 | 1 | -1/+1 |
| * | typo | Kartik K. Agaram | 2022-12-24 | 1 | -1/+1 |
| * | consistent names in a few more places | Kartik K. Agaram | 2022-12-23 | 1 | -4/+4 |
| * | make love event names consistent | Kartik K. Agaram | 2022-12-23 | 1 | -19/+19 |
| * | repeat bugfix on source editor X-( | Kartik K. Agaram | 2022-12-12 | 1 | -2/+5 |
| * | repeat bugfix on source editor | Kartik K. Agaram | 2022-12-12 | 1 | -1/+6 |
| * | repeat bugfix on source editor | Kartik K. Agaram | 2022-11-27 | 1 | -1/+1 |
| * | ctrl+a: select entire buffer | Kartik K. Agaram | 2022-11-19 | 1 | -1/+4 |
| * | stop tracking wallclock time | Kartik K. Agaram | 2022-11-03 | 1 | -2/+2 |
| * | hide editor cursor while in file navigator | Kartik K. Agaram | 2022-09-18 | 1 | -2/+2 |
| * | new test | Kartik K. Agaram | 2022-09-15 | 1 | -1/+4 |
| * | bugfix: path munging on Windows | Kartik K. Agaram | 2022-09-10 | 1 | -1/+1 |
| * | self-documenting 0 Test_right_margin | Kartik K. Agaram | 2022-09-07 | 1 | -1/+4 |
| * | switch shortcuts for bifold text | Kartik K. Agaram | 2022-09-06 | 1 | -2/+2 |
| * | support selections in the source editor | Kartik K. Agaram | 2022-09-06 | 1 | -1/+56 |
| * | support hyperlinks in the source editor | Kartik K. Agaram | 2022-09-05 | 1 | -0/+1 |
| * | support drawings in the source editor | Kartik K. Agaram | 2022-09-05 | 1 | -21/+157 |
| * | editing source code from within the app | Kartik K. Agaram | 2022-09-03 | 1 | -0/+377 |