about summary refs log tree commit diff stats
path: root/html/edit/003-shortcuts.mu.html
Commit message (Collapse)AuthorAgeFilesLines
* 3983Kartik K. Agaram2017-08-221-42/+42
|
* 3962Kartik K. Agaram2017-06-271-2959/+2966
| | | | | Yet another regression, this time cascading from commit 3953. My scenario wasn't actually testing what I thought it was testing.
* 3956Kartik K. Agaram2017-06-251-3909/+3958
|
* 3951Kartik K. Agaram2017-06-241-3306/+3347
|
* 3927Kartik K. Agaram2017-06-191-3606/+4253
|
* 3904Kartik K. Agaram2017-06-091-7/+7
| | | | Standardize functions to put the main object being modified first.
* 3903 - minimal render when pressing 'tab'Kartik K. Agaram2017-06-091-3532/+3556
| | | | Turns out all I had to do was reset `go-render?` to false.
* 3901Kartik K. Agaram2017-06-091-2/+2
|
* 3895Kartik K. Agaram2017-05-291-2534/+2724
|
* 3883Kartik K. Agaram2017-05-271-18/+18
|
* 3879Kartik K. Agaram2017-05-261-2/+2
|
* 3869Kartik K. Agaram2017-05-191-1640/+1832
| | | | Clean up a few superficial things in Caleb's commit.
* 3867Kartik K. Agaram2017-05-191-263/+263
|
* 3855Kartik K. Agaram2017-05-131-88/+88
|
* 3830 - crosslink shape-shifting containers in htmlKartik K. Agaram2017-04-181-67/+67
|
* 3825Kartik K. Agaram2017-04-161-88/+88
|
* 3808 - 'length' for duplex listsKartik K. Agaram2017-03-311-4/+4
|
* 3764 - better colors for cross-linksKartik K. Agaram2017-03-081-3/+4
|
* 3761Kartik K. Agaram2017-03-071-1249/+1250
|
* 3732Kartik K. Agaram2017-01-111-71/+71
|
* 3719 - cross-link Mu waypoints to their locationKartik K. Agaram2016-12-271-25/+25
|
* 3716Kartik K. Agaram2016-12-261-0/+2
| | | | Make hyperlinks less salient in the rendered html since there's so many of them.
* 3715Kartik K. Agaram2016-12-261-359/+359
| | | | | | | | 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 htmlKartik K. Agaram2016-12-261-229/+229
|
* 3710Kartik K. Agaram2016-12-261-3299/+3299
| | | | | 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 htmlKartik K. Agaram2016-12-261-3303/+3327
| | | | | | 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.
* 3706Kartik K. Agaram2016-12-111-2/+2
|
* 3703Kartik K. Agaram2016-12-061-35/+35
|
* 3700Kartik K. Agaram2016-11-281-79/+49
| | | | | | 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.
* 3699Kartik K. Agaram2016-11-281-1/+1
| | | | | Delete some obsolete /same-as-ingredient attributes. We should always let Mu deduce those at this point.
* 3696Kartik K. Agaram2016-11-271-71/+90
| | | | | | 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.
* 3569Kartik K. Agaram2016-10-231-709/+709
| | | | Update syntax highlighting to not color numeric locations like literals.
* 3568Kartik K. Agaram2016-10-231-1/+1
| | | | Fix syntax highlighting for labels after commit 3552.
* 3558Kartik K. Agaram2016-10-221-1/+1
|
* 3457Kartik K. Agaram2016-10-061-46/+46
| | | | | Switch around some unicode characters in the edit/ app so that it renders more cleanly in html (with monospace fonts).
* 3456Kartik K. Agaram2016-10-061-174/+174
|
* 3431Kartik K. Agaram2016-09-301-24/+23
| | | | | Improvements to syntax highlighting, particularly for Mu code in C++ files.
* 3430Kartik K. Agaram2016-09-281-362/+425
|
* 3397Kartik K. Agaram2016-09-171-285/+285
|
* 3395Kartik K. Agaram2016-09-171-503/+503
|
* 3355Kartik K. Agaram2016-09-151-142/+142
|
* 2866Kartik K. Agaram2016-04-251-512/+545
|
* 2812Kartik K. Agaram2016-03-271-9/+18
|
* 2745Kartik K. Agaram2016-03-091-1/+1
|
* 2744Kartik K. Agaram2016-03-091-2/+2
| | | | Tweak colors and font-sizes in generated html.
* 2743Kartik K. Agaram2016-03-091-81/+72
| | | | | Looks like "TOhtml | <other command>" doesn't work on Mac OS X for some reason..
* 2706 - update htmlKartik K. Agaram2016-02-251-1/+2
|
* 2625Kartik K. Agaram2016-02-021-3/+78
|
* 2605Kartik K. Agaram2016-01-261-407/+409
|
* 2545Kartik K. Agaram2015-12-151-6/+8
| | | | update html