about summary refs log tree commit diff stats
path: root/html
Commit message (Collapse)AuthorAgeFilesLines
* 3793Kartik K. Agaram2017-03-144-910/+910
| | | | | | Move 'render-code' to the layer where it's used. Thanks Caleb Couch for finding this bit of ugliness.
* 3792Kartik K. Agaram2017-03-121-267/+292
| | | | | | | Bugfix: make sure 'print 0, 0' always does the right thing, no matter how it's overloaded. Thanks Ella Couch for reporting this.
* 3791Kartik K. Agaram2017-03-122-1419/+1381
| | | | Simpler way to do commit 2929.
* 3790Kartik K. Agaram2017-03-127-1040/+1043
| | | | Don't try to snapshot in scenarios.
* 3789Kartik K. Agaram2017-03-127-1045/+1047
| | | | | | | | | | | | | 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.
* 3788Kartik K. Agaram2017-03-122-796/+805
|
* 3787Kartik K. Agaram2017-03-121-6/+6
|
* 3785Kartik K. Agaram2017-03-101-104/+106
| | | | Don't show empty hidden counts in the trace-browser.
* 3784Kartik K. Agaram2017-03-101-317/+487
|
* 3771Kartik K. Agaram2017-03-081-1/+1
|
* 3770Kartik K. Agaram2017-03-081-194/+199
|
* 3769Kartik K. Agaram2017-03-081-272/+280
|
* 3768 - trace browser: scrolling horizontallyKartik K. Agaram2017-03-081-263/+273
|
* 3767Kartik K. Agaram2017-03-081-251/+257
|
* 3766Kartik K. Agaram2017-03-081-6/+6
|
* 3765Kartik K. Agaram2017-03-081-4/+4
|
* 3764 - better colors for cross-linksKartik K. Agaram2017-03-08119-424/+542
|
* 3763Kartik K. Agaram2017-03-071-252/+251
|
* 3761Kartik K. Agaram2017-03-07115-11309/+11541
|
* 3759 - make current line more salientKartik K. Agaram2017-03-061-37/+36
|
* 3758Kartik K. Agaram2017-03-061-204/+205
|
* 3757 - more permissive trace browser UIKartik K. Agaram2017-03-061-175/+181
|
* 3756 - start of some improvements to the trace browserKartik K. Agaram2017-03-052-248/+287
|
* 3755Kartik K. Agaram2017-03-052-30/+53
|
* 3752 - fix a couple of segfaultsKartik K. Agaram2017-03-023-357/+376
| | | | Thanks Ella Couch for running into these.
* 3751Kartik K. Agaram2017-03-024-6/+6
| | | | Some hacky manual fixes to auto-generated html.
* 3750Kartik K. Agaram2017-03-0264-1317/+1309
|
* 3749Kartik K. Agaram2017-03-0264-1352/+1350
|
* 3748Kartik K. Agaram2017-02-281-1/+1
|
* 3747Kartik K. Agaram2017-02-072-6/+6
|
* 3746Kartik K. Agaram2017-02-0738-2536/+2570
|
* 3737Kartik K. Agaram2017-01-224-43/+42
|
* 3734Kartik K. Agaram2017-01-119-15/+15
|
* 3732Kartik K. Agaram2017-01-1114-1024/+1033
|
* 3727Kartik K. Agaram2016-12-311-0/+1
|
* 3725Kartik K. Agaram2016-12-2732-1611/+1650
| | | | | | More improvements to cross-linking example programs. Include their own functions as well in the tags for each program, even as you share the core .mu files everywhere.
* 3719 - cross-link Mu waypoints to their locationKartik K. Agaram2016-12-2713-103/+103
|
* 3716Kartik K. Agaram2016-12-26118-0/+236
| | | | Make hyperlinks less salient in the rendered html since there's so many of them.
* 3715Kartik K. Agaram2016-12-2612-1262/+1262
| | | | | | | | 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-26105-5909/+5909
|
* 3710Kartik K. Agaram2016-12-26118-41040/+41040
| | | | | 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-26118-41482/+44315
| | | | | | 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.
* 3707Kartik K. Agaram2016-12-1213-27/+39
| | | | | | | | | | | | | | | | | | Be more disciplined about tagging 2 different concepts in the codebase: a) Use the phrase "later layers" to highlight places where a layer doesn't have the simplest possible self-contained implementation. b) Use the word "hook" to point out functions that exist purely to provide waypoints for extension by future layers. Since both these only make sense in the pre-tangled representation of the codebase, using '//:' and '#:' comments to get them stripped out of tangled output. (Though '#:' comments still make it to tangled output at the moment. Let's see if we use it enough to be worth supporting. Scenarios are pretty unreadable in tangled output anyway.)
* 3706Kartik K. Agaram2016-12-111-2/+2
|
* 3705 - switch to tested file-system primitivesKartik K. Agaram2016-12-1113-643/+602
|
* 3704Kartik K. Agaram2016-12-112-5/+28
| | | | | | | Bugfix: writing to a new file in a non-empty fake file system. The one time I try to get a little clever, it bites me in the ass. That'll teach me..
* 3703Kartik K. Agaram2016-12-066-50/+59
|
* 3700Kartik K. Agaram2016-11-284-113/+71
| | | | | | 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-285-14/+11
| | | | | Delete some obsolete /same-as-ingredient attributes. We should always let Mu deduce those at this point.
* 3697Kartik K. Agaram2016-11-271-13/+2
| | | | | | Decouple programming environment initialization from rendering. This helps make clear that we only need the width from screen during initialization.