about summary refs log tree commit diff stats
path: root/html/edit/010-sandbox-trace.mu.html
Commit message (Collapse)AuthorAgeFilesLines
* 3927Kartik K. Agaram2017-06-191-4/+4
|
* 3902 - drop redundant redraw of recipe side on F4Kartik K. Agaram2017-06-091-233/+236
| | | | | | 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.)
* 3883Kartik K. Agaram2017-05-271-9/+9
|
* 3871Kartik K. Agaram2017-05-201-1/+1
| | | | | | | | Strange race condition: if I repeatedly press <enter> and <backspace> so the screen is constantly playing catch up, it will sometimes fail these assertions when it does eventually catch up. Somehow the cursor ends up misplaced. Let's just take them out. It's likely some low-level implementation detail of the terminal.
* 3870 - seldom draw both sides of edit/Kartik K. Agaram2017-05-201-2/+2
|
* 3869Kartik K. Agaram2017-05-191-1/+1
| | | | Clean up a few superficial things in Caleb's commit.
* 3867Kartik K. Agaram2017-05-191-51/+49
|
* 3856Kartik K. Agaram2017-05-131-1/+1
| | | | | Bugfix on commit 3853: clear `render-all-on-no-more-events` once you've actually run the `render-all`.
* 3855Kartik K. Agaram2017-05-131-50/+52
|
* 3845Kartik K. Agaram2017-05-061-2/+2
|
* 3825Kartik K. Agaram2017-04-161-52/+49
|
* 3820Kartik K. Agaram2017-04-131-1/+1
|
* 3797Kartik K. Agaram2017-03-151-1/+1
|
* 3790Kartik K. Agaram2017-03-121-2/+2
| | | | Don't try to snapshot in scenarios.
* 3789Kartik K. Agaram2017-03-121-2/+2
| | | | | | | | | | | | | 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-123/+124
|
* 3734Kartik K. Agaram2017-01-111-1/+1
|
* 3732Kartik K. Agaram2017-01-111-1/+1
|
* 3719 - cross-link Mu waypoints to their locationKartik K. Agaram2016-12-271-3/+3
|
* 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-21/+21
| | | | | | | | 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-19/+19
|
* 3710Kartik K. Agaram2016-12-261-253/+253
| | | | | 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-257/+281
| | | | | | 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-41/+49
|
* 3569Kartik K. Agaram2016-10-231-45/+45
| | | | 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-48/+48
| | | | | 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-12/+12
|
* 3431Kartik K. Agaram2016-09-301-4/+4
| | | | | Improvements to syntax highlighting, particularly for Mu code in C++ files.
* 3430Kartik K. Agaram2016-09-281-20/+19
|
* 3397Kartik K. Agaram2016-09-171-16/+16
|
* 3395Kartik K. Agaram2016-09-171-37/+37
|
* 3371Kartik K. Agaram2016-09-161-12/+0
|
* 3355Kartik K. Agaram2016-09-151-13/+13
|
* 3174Kartik K. Agaram2016-08-121-1/+1
|
* 3117Kartik K. Agaram2016-07-201-1/+6
|
* 3102Kartik K. Agaram2016-07-051-2/+44
|
* 2996Kartik K. Agaram2016-05-211-0/+250