about summary refs log tree commit diff stats
path: root/html/edit/008-sandbox-edit.mu.html
Commit message (Collapse)AuthorAgeFilesLines
* 3856Kartik K. Agaram2017-05-131-3/+3
| | | | | Bugfix on commit 3853: clear `render-all-on-no-more-events` once you've actually run the `render-all`.
* 3855Kartik K. Agaram2017-05-131-207/+209
|
* 3845Kartik K. Agaram2017-05-061-4/+4
|
* 3825Kartik K. Agaram2017-04-161-208/+206
|
* 3820Kartik K. Agaram2017-04-131-3/+3
|
* 3797Kartik K. Agaram2017-03-151-3/+3
|
* 3790Kartik K. Agaram2017-03-121-1/+1
| | | | Don't try to snapshot in scenarios.
* 3789Kartik K. Agaram2017-03-121-1/+1
| | | | | | | | | | | | | 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-139/+140
|
* 3737Kartik K. Agaram2017-01-221-3/+3
|
* 3734Kartik K. Agaram2017-01-111-1/+1
|
* 3732Kartik K. Agaram2017-01-111-4/+4
|
* 3719 - cross-link Mu waypoints to their locationKartik K. Agaram2016-12-271-1/+1
|
* 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-42/+42
| | | | | | | | 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-26/+26
|
* 3710Kartik K. Agaram2016-12-261-324/+324
| | | | | 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-328/+352
| | | | | | 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-59/+49
|
* 3667Kartik K. Agaram2016-11-111-2/+2
|
* 3569Kartik K. Agaram2016-10-231-32/+32
| | | | 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-91/+91
| | | | | 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-18/+18
|
* 3431Kartik K. Agaram2016-09-301-11/+10
| | | | | Improvements to syntax highlighting, particularly for Mu code in C++ files.
* 3430Kartik K. Agaram2016-09-281-36/+34
|
* 3397Kartik K. Agaram2016-09-171-26/+26
|
* 3395Kartik K. Agaram2016-09-171-32/+32
|
* 3355Kartik K. Agaram2016-09-151-16/+16
|
* 3102Kartik K. Agaram2016-07-051-3/+3
|
* 2996Kartik K. Agaram2016-05-211-0/+375