| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | use editor state font for width calculations | Kartik K. Agaram | 2024-01-12 | 1 | -2/+2 |
| * | don't save settings on error in source editor | Kartik K. Agaram | 2024-01-12 | 1 | -1/+0 |
| * | fix still more issues with the previous scenario | Kartik K. Agaram | 2024-01-12 | 1 | -0/+1 |
| * | moar bugfix X-( | Kartik K. Agaram | 2023-12-29 | 1 | -1/+1 |
| * | bugfix | Kartik K. Agaram | 2023-12-29 | 1 | -2/+2 |
| * | pull font into editor | Kartik K. Agaram | 2023-12-29 | 1 | -6/+4 |
| * | source: show file being edited in window title bar | Kartik K. Agaram | 2023-09-15 | 1 | -1/+1 |
| * | hide line numbers from log browser | Kartik K. Agaram | 2023-09-15 | 1 | -1/+1 |
| * | always show line numbers in source editor | Kartik K. Agaram | 2023-09-14 | 1 | -2/+3 |
| * | Revert "deemphasize the source editor" | Kartik K. Agaram | 2023-09-10 | 1 | -7/+0 |
| * | show any error after switching to source editor | Kartik K. Agaram | 2023-09-04 | 1 | -0/+7 |
| * | drop an unused arg | Kartik K. Agaram | 2023-07-11 | 1 | -2/+2 |
| * | standardize between run and source some more | Kartik K. Agaram | 2023-07-10 | 1 | -4/+2 |
| * | simplify saving settings | Kartik K. Agaram | 2023-07-10 | 1 | -5/+1 |
| * | bugfix: Windows pushing title bar off screen | Kartik K. Agaram | 2023-07-10 | 1 | -43/+20 |
| * | delete flags that have never been exercised | Kartik K. Agaram | 2023-07-10 | 1 | -4/+0 |
| * | bugfix: preserve window position | Kartik K. Agaram | 2023-07-10 | 1 | -2/+7 |
| * | port inscript's bugfix to source editor | Kartik K. Agaram | 2023-06-04 | 1 | -0/+5 |
| * | 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 |