Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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). | |||||
* | slightly less strange now that we have the same two ways to move points as ↵ | Kartik K. Agaram | 2022-05-14 | 1 | -6/+18 | |
| | | | | | | | any other operation 1. hover over point, hit C-v 2. press mouse on point, hit v | |||||
* | slightly strange way to move points | Kartik K. Agaram | 2022-05-14 | 1 | -5/+44 | |
| | | | | | | | | | | | | Hover mouse on a point, hit a hotkey (C-v), then move mouse without clicking, and click to finalize. The hotkey is like a pointer tool, except you have to already be at the thing you want to erase. And it's slightly inconvenient to move multiple points one by one. In the process I also fixed a bug: keychord clauses should always specify the mouse button state. | |||||
* | changing your mind mid-shape | Kartik K. Agaram | 2022-05-14 | 1 | -2/+30 | |
| | | | | | | | | | line->circle circle->line line->polygon polygon->line circle->polygon polygon->circle | |||||
* | new mode: circle arc | Kartik K. Agaram | 2022-05-14 | 1 | -0/+81 | |
| | | | | | We start out drawing a circle, but instead of releasing the mouse we hit 'a'. | |||||
* | new mode: circle | Kartik K. Agaram | 2022-05-14 | 1 | -0/+28 | |
| | ||||||
* | new mode: polygon | Kartik K. Agaram | 2022-05-14 | 1 | -0/+55 | |
| | | | | | Polygons are closed. Add vertices to them by pressing 'p' while holding down the mouse. | |||||
* | . | Kartik K. Agaram | 2022-05-14 | 1 | -1/+1 | |
| | ||||||
* | bugfix: clipping in line and manhattan mode | Kartik K. Agaram | 2022-05-14 | 1 | -13/+29 | |
| | | | | Thanks Kiran and Ravi. | |||||
* | new mode: manhattan | Kartik K. Agaram | 2022-05-14 | 1 | -2/+41 | |
| | ||||||
* | . | Kartik K. Agaram | 2022-05-14 | 1 | -2/+2 | |
| | ||||||
* | make points easier to acquire | Kartik K. Agaram | 2022-05-14 | 1 | -4/+8 | |
| | ||||||
* | make point near focus 'pop' | Kartik K. Agaram | 2022-05-14 | 1 | -1/+3 | |
| | ||||||
* | snap lines to nearby points | Kartik K. Agaram | 2022-05-14 | 1 | -1/+3 | |
| | ||||||
* | add a level of indirection to vertices of shapes | Kartik K. Agaram | 2022-05-14 | 1 | -37/+68 | |
| | | | | This is like Sketchpad. | |||||
* | . | Kartik K. Agaram | 2022-05-14 | 1 | -1/+1 | |
| | ||||||
* | draw lines by default | Kartik K. Agaram | 2022-05-14 | 1 | -1/+1 | |
| | | | | Freehand strokes are a special case. Let's ignore them for a bit. |