Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | stop caching starty | Kartik K. Agaram | 2024-06-11 | 1 | -1/+0 |
* | 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 |