Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 4814 | Kartik Agaram | 2018-12-01 | 1 | -0/+1 |
| | |||||
* | 4809 - subx: html with 5 colors for comments | Kartik Agaram | 2018-11-30 | 1 | -11/+13 |
| | |||||
* | 4539 | Kartik Agaram | 2018-09-07 | 1 | -7/+7 |
| | |||||
* | 4447 | Kartik Agaram | 2018-07-27 | 1 | -26/+26 |
| | |||||
* | 4239 | Kartik Agaram | 2018-05-08 | 1 | -6/+6 |
| | |||||
* | 4209 | Kartik K. Agaram | 2018-02-18 | 1 | -117/+113 |
| | |||||
* | 4200 | Kartik K. Agaram | 2018-01-27 | 1 | -106/+106 |
| | | | | Forgot to set up exuberant_ctags_rc as .ctags on new laptop. | ||||
* | 4199 | Kartik K. Agaram | 2018-01-25 | 1 | -297/+296 |
| | |||||
* | 4165 | Kartik K. Agaram | 2017-12-27 | 1 | -9/+9 |
| | |||||
* | 4161 | Kartik K. Agaram | 2017-12-15 | 1 | -7/+7 |
| | |||||
* | 4134 - 'input' = 'ingredient' | Kartik K. Agaram | 2017-12-03 | 1 | -11/+11 |
| | |||||
* | 4008 | Kartik K. Agaram | 2017-09-25 | 1 | -7/+7 |
| | | | | | Allow list `push` operation to save result in a new list rather than mutate the existing list. | ||||
* | 3983 | Kartik K. Agaram | 2017-08-22 | 1 | -2/+2 |
| | |||||
* | 3951 | Kartik K. Agaram | 2017-06-24 | 1 | -181/+184 |
| | |||||
* | 3928 | Kartik K. Agaram | 2017-06-19 | 1 | -3/+3 |
| | |||||
* | 3927 | Kartik K. Agaram | 2017-06-19 | 1 | -156/+158 |
| | |||||
* | 3904 | Kartik K. Agaram | 2017-06-09 | 1 | -8/+8 |
| | | | | Standardize functions to put the main object being modified first. | ||||
* | 3902 - drop redundant redraw of recipe side on F4 | Kartik K. Agaram | 2017-06-09 | 1 | -98/+99 |
| | | | | | | This change is interesting because I only updated one test to gain confidence that F4 will never redraw the recipe side. (Most of the changes are to explicitly render-all before each scenario.) | ||||
* | 3883 | Kartik K. Agaram | 2017-05-27 | 1 | -14/+14 |
| | |||||
* | 3870 - seldom draw both sides of edit/ | Kartik K. Agaram | 2017-05-20 | 1 | -486/+493 |
| | |||||
* | 3867 | Kartik K. Agaram | 2017-05-19 | 1 | -442/+453 |
| | |||||
* | 3856 | Kartik K. Agaram | 2017-05-13 | 1 | -418/+419 |
| | | | | | Bugfix on commit 3853: clear `render-all-on-no-more-events` once you've actually run the `render-all`. | ||||
* | 3855 | Kartik K. Agaram | 2017-05-13 | 1 | -458/+484 |
| | |||||
* | 3845 | Kartik K. Agaram | 2017-05-06 | 1 | -505/+456 |
| | |||||
* | 3830 - crosslink shape-shifting containers in html | Kartik K. Agaram | 2017-04-18 | 1 | -4/+4 |
| | |||||
* | 3825 | Kartik K. Agaram | 2017-04-16 | 1 | -474/+457 |
| | |||||
* | 3820 | Kartik K. Agaram | 2017-04-13 | 1 | -486/+476 |
| | |||||
* | 3797 | Kartik K. Agaram | 2017-03-15 | 1 | -375/+374 |
| | |||||
* | 3793 | Kartik K. Agaram | 2017-03-14 | 1 | -116/+53 |
| | | | | | | Move 'render-code' to the layer where it's used. Thanks Caleb Couch for finding this bit of ugliness. | ||||
* | 3764 - better colors for cross-links | Kartik K. Agaram | 2017-03-08 | 1 | -3/+4 |
| | |||||
* | 3761 | Kartik K. Agaram | 2017-03-07 | 1 | -319/+320 |
| | |||||
* | 3734 | Kartik K. Agaram | 2017-01-11 | 1 | -3/+3 |
| | |||||
* | 3732 | Kartik K. Agaram | 2017-01-11 | 1 | -13/+13 |
| | |||||
* | 3719 - cross-link Mu waypoints to their location | Kartik K. Agaram | 2016-12-27 | 1 | -10/+10 |
| | |||||
* | 3716 | Kartik K. Agaram | 2016-12-26 | 1 | -0/+2 |
| | | | | Make hyperlinks less salient in the rendered html since there's so many of them. | ||||
* | 3715 | Kartik K. Agaram | 2016-12-26 | 1 | -107/+107 |
| | | | | | | | | Fix cross-links in html for the edit/ app. I originally thought I'd need to provide a commandline flag like --rel-path or something. But we need to support different relative paths in a single html file. So the solution instead is appropriately engineering the tags file. | ||||
* | 3713 - cross-link calls with definitions in html | Kartik K. Agaram | 2016-12-26 | 1 | -102/+102 |
| | |||||
* | 3710 | Kartik K. Agaram | 2016-12-26 | 1 | -642/+642 |
| | | | | | Turns out we don't need to explicitly add anchors for each line. Vim's TOhtml has magic for that out of the box. | ||||
* | 3709 - line numbers in html | Kartik K. Agaram | 2016-12-26 | 1 | -646/+670 |
| | | | | | | Each line number also gets an anchor name, but I'm not hyperlinking them for now because I don't want to encourage bookmarking these links just yet. They aren't permalinks because every revision may change what's at any given line number. | ||||
* | 3705 - switch to tested file-system primitives | Kartik K. Agaram | 2016-12-11 | 1 | -40/+41 |
| | |||||
* | 3700 | Kartik K. Agaram | 2016-11-28 | 1 | -2/+2 |
| | | | | | | Reorder products of some functions in the edit/ and sandbox/ apps. My recent realization: always return 'real' products before ones that just indicate an ingredient is mutable. | ||||
* | 3699 | Kartik K. Agaram | 2016-11-28 | 1 | -2/+2 |
| | | | | | Delete some obsolete /same-as-ingredient attributes. We should always let Mu deduce those at this point. | ||||
* | 3697 | Kartik K. Agaram | 2016-11-27 | 1 | -13/+2 |
| | | | | | | Decouple programming environment initialization from rendering. This helps make clear that we only need the width from screen during initialization. | ||||
* | 3696 | Kartik K. Agaram | 2016-11-27 | 1 | -2/+2 |
| | | | | | | Decouple editor initialization from rendering to screen. This hugely simplifies the header of 'new-editor' and makes clear that it was only using the screen for rendering. | ||||
* | 3569 | Kartik K. Agaram | 2016-10-23 | 1 | -207/+207 |
| | | | | Update syntax highlighting to not color numeric locations like literals. | ||||
* | 3568 | Kartik K. Agaram | 2016-10-23 | 1 | -15/+15 |
| | | | | Fix syntax highlighting for labels after commit 3552. | ||||
* | 3567 | Kartik K. Agaram | 2016-10-23 | 1 | -1/+1 |
| | |||||
* | 3558 | Kartik K. Agaram | 2016-10-22 | 1 | -15/+15 |
| | |||||
* | 3491 | Kartik K. Agaram | 2016-10-09 | 1 | -3/+3 |
| | | | | | Update the html, proving that commit 3490 worked. The only changes are from other recent commits. | ||||
* | 3457 | Kartik K. Agaram | 2016-10-06 | 1 | -27/+27 |
| | | | | | Switch around some unicode characters in the edit/ app so that it renders more cleanly in html (with monospace fonts). |