| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | hide cursor in log browser window | Kartik K. Agaram | 2023-05-14 | 1 | -1/+1 |
| * | deemphasize the source editor | Kartik K. Agaram | 2023-04-09 | 1 | -0/+7 |
| * | switch source side to new screen-line-based render | Kartik K. Agaram | 2023-04-03 | 1 | -3/+0 |
| * | App.width can no longer take a Text | Kartik K. Agaram | 2023-04-01 | 1 | -3/+1 |
| * | get rid of to_text | Kartik K. Agaram | 2023-04-01 | 1 | -8/+0 |
| * | experiment at avoiding some merge conflicts | Kartik K. Agaram | 2023-03-25 | 1 | -0/+14 |
| * | mouse wheel support | Kartik K. Agaram | 2023-03-23 | 1 | -0/+9 |
| * | get typed in keystrokes to show on screen on iPad | Kartik K. Agaram | 2023-03-18 | 1 | -0/+14 |
| * | extract a function | Kartik K. Agaram | 2023-03-18 | 1 | -10/+14 |
| * | consistently use App names for methods everywhere | Kartik K. Agaram | 2023-03-18 | 1 | -2/+2 |
| * | get rid of all bifold text | Kartik K. Agaram | 2023-03-17 | 1 | -13/+1 |
| * | state validation in source editor as well | Kartik K. Agaram | 2023-03-17 | 1 | -0/+1 |
| * | create a place for graphical log handlers | Kartik K. Agaram | 2023-01-30 | 1 | -1/+0 |
| * | hoist out some common settings | Kartik K. Agaram | 2023-01-16 | 1 | -5/+0 |
| * | typo | Kartik K. Agaram | 2023-01-01 | 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 | -16/+16 |
| * | save state when clearing logs | Kartik K. Agaram | 2022-12-05 | 1 | -0/+2 |
| * | source editor: clear logs | Kartik K. Agaram | 2022-12-05 | 1 | -0/+10 |
| * | consume a mouse click when switching sides | Kartik K. Agaram | 2022-12-05 | 1 | -0/+2 |
| * | migrate old settings, attempt #3 | Kartik K. Agaram | 2022-09-19 | 1 | -2/+8 |
| * | ugh, missed deleting an arg | Kartik K. Agaram | 2022-09-19 | 1 | -1/+1 |
| * | handle missing cursors in settings | Kartik K. Agaram | 2022-09-19 | 1 | -3/+9 |
| * | source: load cursor position from settings | Kartik K. Agaram | 2022-09-19 | 1 | -2/+5 |
| * | source: no commandline args | Kartik K. Agaram | 2022-09-19 | 1 | -15/+4 |
| * | source: remember cursor position of multiple files | Kartik K. Agaram | 2022-09-19 | 1 | -4/+12 |
| * | source: support only relative paths within the app | Kartik K. Agaram | 2022-09-19 | 1 | -5/+2 |
| * | bugfix: mouse clicks on file navigator above log browser side | Kartik K. Agaram | 2022-09-18 | 1 | -0/+5 |
| * | delete a duplicate filename candidate | Kartik K. Agaram | 2022-09-18 | 1 | -1/+0 |
| * | filter candidates in file navigator | Kartik K. Agaram | 2022-09-18 | 1 | -1/+4 |
| * | hide editor cursor while in file navigator | Kartik K. Agaram | 2022-09-18 | 1 | -1/+1 |
| * | bugfix: disable typing while file navigator is open | Kartik K. Agaram | 2022-09-18 | 1 | -0/+3 |
| * | start showing source menu file navigation state graphically | Kartik K. Agaram | 2022-09-18 | 1 | -0/+1 |
| * | bugfix: draw menu after everything else | Kartik K. Agaram | 2022-09-17 | 1 | -1/+1 |
| * | easy way to make file switching more convenient | Kartik K. Agaram | 2022-09-17 | 1 | -1/+0 |
| * | some debug prints | Kartik K. Agaram | 2022-09-17 | 1 | -0/+2 |
| * | isolate some tests from settings | Kartik K. Agaram | 2022-09-17 | 1 | -1/+3 |
| * | get rid of ugly side-effects in tests | Kartik K. Agaram | 2022-09-17 | 1 | -9/+9 |
| * | bugfix: source margins when toggling log browser | Kartik K. Agaram | 2022-09-17 | 1 | -1/+4 |
| * | new test | Kartik K. Agaram | 2022-09-15 | 1 | -1/+1 |
| * | more correct absolute path detection | Kartik K. Agaram | 2022-09-11 | 1 | -3/+2 |
| * | bugfix: path munging on Windows | Kartik K. Agaram | 2022-09-10 | 1 | -2/+3 |
| * | support drawings in the source editor | Kartik K. Agaram | 2022-09-05 | 1 | -1/+1 |
| * | include some missing source files | Kartik K. Agaram | 2022-09-05 | 1 | -0/+4 |
| * | set window title within each app | Kartik K. Agaram | 2022-09-03 | 1 | -0/+2 |
| * | editing source code from within the app | Kartik K. Agaram | 2022-09-03 | 1 | -0/+358 |