| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | respect zoom when printing online help | Kartik K. Agaram | 2022-05-16 | 1 | -51/+54 | |
| | | ||||||
| * | ctrl-+ and ctrl-- to adjust font size | Kartik K. Agaram | 2022-05-16 | 1 | -4/+12 | |
| | | ||||||
| * | reorg | Kartik K. Agaram | 2022-05-16 | 1 | -13/+16 | |
| | | ||||||
| * | more precise cursor positioning | Kartik K. Agaram | 2022-05-16 | 1 | -3/+4 | |
| | | ||||||
| * | position cursor by clicking on text | Kartik K. Agaram | 2022-05-16 | 1 | -6/+13 | |
| | | | | | In the process, a bugfix: up/down from line to drawing or vice versa. | |||||
| * | allow text to be typed while mouse hovers over drawing | Kartik K. Agaram | 2022-05-16 | 1 | -13/+0 | |
| | | | | | | The whole point of my keyboard shortcuts scheme is that if you press a regular key and the mouse is not down, it goes in at the cursor. | |||||
| * | save each line's y coordinate, whether it's a drawing or not | Kartik K. Agaram | 2022-05-16 | 1 | -1/+1 | |
| | | ||||||
| * | move | Kartik K. Agaram | 2022-05-16 | 1 | -24/+21 | |
| | | ||||||
| * | stop handling drawings in cursor_pos computations | Kartik K. Agaram | 2022-05-16 | 1 | -8/+14 | |
| | | ||||||
| * | change data model; text can now have metadata | Kartik K. Agaram | 2022-05-16 | 1 | -51/+63 | |
| | | ||||||
| * | don't try to append text to drawings | Kartik K. Agaram | 2022-05-16 | 1 | -0/+1 | |
| | | ||||||
| * | rename | Kartik K. Agaram | 2022-05-16 | 1 | -2/+2 | |
| | | ||||||
| * | . | Kartik K. Agaram | 2022-05-16 | 1 | -2/+1 | |
| | | ||||||
| * | make sure to show the border of a drawing immediately after creating it | Kartik K. Agaram | 2022-05-16 | 1 | -1/+1 | |
| | | ||||||
| * | bugfix: up/down across drawings | Kartik K. Agaram | 2022-05-16 | 1 | -0/+2 | |
| | | ||||||
| * | show cursor even on empty lines | Kartik K. Agaram | 2022-05-16 | 1 | -1/+4 | |
| | | ||||||
| * | speed up some obvious common cases | Kartik K. Agaram | 2022-05-16 | 1 | -3/+16 | |
| | | | | | This is probably not worth the effort. First sign of trouble, back it out. | |||||
| * | binary search to most natural up/down with proportional fonts | Kartik K. Agaram | 2022-05-16 | 1 | -9/+35 | |
| | | ||||||
| * | up/down cursor movement | Kartik K. Agaram | 2022-05-16 | 1 | -7/+24 | |
| | | ||||||
| * | left/right cursor movement, deleting characters | Kartik K. Agaram | 2022-05-16 | 1 | -6/+51 | |
| | | ||||||
| * | position cursor more precisely | Kartik K. Agaram | 2022-05-16 | 1 | -1/+1 | |
| | | | | | I don't quite follow why this magic number needs to have this precise value. | |||||
| * | add a license | Kartik K. Agaram | 2022-05-16 | 1 | -0/+283 | |
| | | ||||||
| * | always show current filename in window title | Kartik K. Agaram | 2022-05-16 | 1 | -1/+3 | |
| | | ||||||
| * | always have a filename | Kartik K. Agaram | 2022-05-16 | 1 | -4/+2 | |
| | | | | | | When a filename is provided, we write to it. When it isn't we always open the same file, and it persists between loads. | |||||
| * | gracefully handle a non-existent filename at the commandline | Kartik K. Agaram | 2022-05-16 | 1 | -2/+5 | |
| | | ||||||
| * | couple of bugfixes to file-handling | Kartik K. Agaram | 2022-05-16 | 1 | -1/+2 | |
| | | ||||||
| * | delete experimental REPL | Kartik K. Agaram | 2022-05-16 | 2 | -55/+0 | |
| | | | | | We're going to focus on a simple text editor for now. | |||||
| * | silly reason my screenshots had an ugly black line down the left | Kartik K. Agaram | 2022-05-16 | 1 | -1/+1 | |
| | | ||||||
| * | to open a file without a terminal, drag it on! | Kartik K. Agaram | 2022-05-16 | 1 | -5/+18 | |
| | | ||||||
| * | 2 regressions: | Kartik K. Agaram | 2022-05-16 | 1 | -6/+7 | |
| | | | | | | - loading a file from the command line - don't insert empty lines when loading a file from the command line | |||||
| * | bugfix | Kartik K. Agaram | 2022-05-16 | 1 | -1/+2 | |
| | | ||||||
| * | slightly better default sizing of drawings | Kartik K. Agaram | 2022-05-16 | 1 | -1/+2 | |
| | | ||||||
| * | adjust window size | Kartik K. Agaram | 2022-05-16 | 1 | -0/+6 | |
| | | ||||||
| * | some missing transitions | Kartik K. Agaram | 2022-05-15 | 1 | -4/+14 | |
| | | ||||||
| * | esc to cancel a shape mid-click | Kartik K. Agaram | 2022-05-15 | 1 | -0/+5 | |
| | | ||||||
| * | fix a comment | Kartik K. Agaram | 2022-05-15 | 1 | -3/+2 | |
| | | ||||||
| * | autosave on keystrokes | Kartik K. Agaram | 2022-05-15 | 1 | -1/+6 | |
| | | ||||||
| * | bugfix: move mode | Kartik K. Agaram | 2022-05-15 | 1 | -1/+5 | |
| | | ||||||
| * | online contextual help | Kartik K. Agaram | 2022-05-15 | 1 | -0/+130 | |
| | | ||||||
| * | icons for current_mode | Kartik K. Agaram | 2022-05-15 | 1 | -0/+39 | |
| | | ||||||
| * | delete drawing using backspace | Kartik K. Agaram | 2022-05-15 | 1 | -0/+2 | |
| | | | | | I solemnly swear that I am aware of the risk of data loss.. | |||||
| * | experiment: only show drawing borders when they can be edited | Kartik K. Agaram | 2022-05-15 | 1 | -2/+6 | |
| | | ||||||
| * | bugfix: text sometimes getting colored like drawing borders | Kartik K. Agaram | 2022-05-15 | 1 | -0/+2 | |
| | | ||||||
| * | delete an ancient, unused file | Kartik K. Agaram | 2022-05-15 | 1 | -75/+0 | |
| | | ||||||
| * | load/save remaining shapes | Kartik K. Agaram | 2022-05-15 | 1 | -14/+18 | |
| | | ||||||
| * | forgot to add json.lua | Kartik K. Agaram | 2022-05-15 | 1 | -0/+388 | |
| | | ||||||
| * | load/save freehand strokes | Kartik K. Agaram | 2022-05-15 | 1 | -2/+18 | |
| | | | | | Also found a couple of bugs in the process. | |||||
| * | starting to load/save | Kartik K. Agaram | 2022-05-15 | 1 | -4/+65 | |
| | | ||||||
| * | more intuitive point delete from polygons | Kartik K. Agaram | 2022-05-15 | 1 | -2/+18 | |
| | | ||||||
| * | delete points or shapes | Kartik K. Agaram | 2022-05-14 | 1 | -12/+50 | |
| | | | | | Deleting a point deletes all shapes that use it (but not other points in those shapes). | |||||