about summary refs log tree commit diff stats
path: root/html/edit/005-sandbox.mu.html
Commit message (Collapse)AuthorAgeFilesLines
* 3831Kartik K. Agaram2017-04-181-1/+1
| | | | Fix CI.
* 3830 - crosslink shape-shifting containers in htmlKartik K. Agaram2017-04-181-3/+3
|
* 3829Kartik K. Agaram2017-04-181-2/+2
|
* 3825Kartik K. Agaram2017-04-161-359/+355
|
* 3820Kartik K. Agaram2017-04-131-13/+13
|
* 3797Kartik K. Agaram2017-03-151-15/+15
|
* 3796Kartik K. Agaram2017-03-141-872/+891
| | | | | | Standardize the order of some common blocks in `render`, `render-text` and `render-code`. This is preparation for trying to reorganize them to reduce duplicate code.
* 3794Kartik K. Agaram2017-03-141-2/+2
| | | | Fix a _very_ misleading comment.
* 3793Kartik K. Agaram2017-03-141-792/+855
| | | | | | Move 'render-code' to the layer where it's used. Thanks Caleb Couch for finding this bit of ugliness.
* 3790Kartik K. Agaram2017-03-121-1022/+1025
| | | | Don't try to snapshot in scenarios.
* 3789Kartik K. Agaram2017-03-121-1027/+1029
| | | | | | | | | | | | | I accidentally got rid of git snapshotting of lessons back when I switched to testable file primitives last December (commit 3705). >:-( Bringing it back now, hopefully better. The improvement is that there's now at most one commit every time we hit F4. This change adds yet another reason that running `mu` from a different directory is just not supported.
* 3764 - better colors for cross-linksKartik K. Agaram2017-03-081-3/+4
|
* 3761Kartik K. Agaram2017-03-071-570/+571
|
* 3748Kartik K. Agaram2017-02-281-1/+1
|
* 3737Kartik K. Agaram2017-01-221-2/+2
|
* 3734Kartik K. Agaram2017-01-111-5/+5
|
* 3732Kartik K. Agaram2017-01-111-15/+15
|
* 3719 - cross-link Mu waypoints to their locationKartik K. Agaram2016-12-271-15/+15
|
* 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-185/+185
| | | | | | | | 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-157/+157
|
* 3710Kartik K. Agaram2016-12-261-1213/+1213
| | | | | 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-1217/+1241
| | | | | | 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 primitivesKartik K. Agaram2016-12-111-73/+97
|
* 3696Kartik K. Agaram2016-11-271-1/+1
| | | | | | 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.
* 3687Kartik K. Agaram2016-11-251-1/+1
|
* 3686Kartik K. Agaram2016-11-251-4/+4
|
* 3569Kartik K. Agaram2016-10-231-237/+237
| | | | Update syntax highlighting to not color numeric locations like literals.
* 3568Kartik K. Agaram2016-10-231-10/+10
| | | | Fix syntax highlighting for labels after commit 3552.
* 3561Kartik K. Agaram2016-10-221-1/+1
|
* 3558Kartik K. Agaram2016-10-221-9/+9
|
* 3457Kartik K. Agaram2016-10-061-171/+171
| | | | | 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-47/+47
|
* 3431Kartik K. Agaram2016-09-301-11/+11
| | | | | Improvements to syntax highlighting, particularly for Mu code in C++ files.
* 3430Kartik K. Agaram2016-09-281-74/+69
|
* 3397Kartik K. Agaram2016-09-171-73/+73
|
* 3395Kartik K. Agaram2016-09-171-197/+197
|
* 3355Kartik K. Agaram2016-09-151-42/+42
|
* 3174Kartik K. Agaram2016-08-121-1/+1
|
* 3102Kartik K. Agaram2016-07-051-15/+231
|
* 2996Kartik K. Agaram2016-05-211-203/+220
|
* 2866Kartik K. Agaram2016-04-251-146/+145
|
* 2812Kartik K. Agaram2016-03-271-19/+23
|
* 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-41/+32
| | | | | Looks like "TOhtml | <other command>" doesn't work on Mac OS X for some reason..
* 2710Kartik K. Agaram2016-02-251-6/+0
|
* 2625Kartik K. Agaram2016-02-021-36/+21
|
* 2605Kartik K. Agaram2016-01-261-125/+604
|
* 2545Kartik K. Agaram2015-12-151-1/+5
| | | | update html