about summary refs log tree commit diff stats
path: root/html/edit
Commit message (Collapse)AuthorAgeFilesLines
* 3748Kartik K. Agaram2017-02-281-1/+1
|
* 3737Kartik K. Agaram2017-01-222-5/+5
|
* 3734Kartik K. Agaram2017-01-119-15/+15
|
* 3732Kartik K. Agaram2017-01-1112-627/+628
|
* 3719 - cross-link Mu waypoints to their locationKartik K. Agaram2016-12-2712-99/+99
|
* 3716Kartik K. Agaram2016-12-2612-0/+24
| | | | 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-2612-918/+918
|
* 3710Kartik K. Agaram2016-12-2612-10969/+10969
| | | | | 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-2612-11017/+11305
| | | | | | 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
|
* 3705 - switch to tested file-system primitivesKartik K. Agaram2016-12-118-462/+543
|
* 3703Kartik K. Agaram2016-12-062-48/+48
|
* 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-284-13/+10
| | | | | 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.
* 3696Kartik K. Agaram2016-11-276-168/+193
| | | | | | 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.
* 3695Kartik K. Agaram2016-11-271-10/+10
|
* 3687Kartik K. Agaram2016-11-251-1/+1
|
* 3686Kartik K. Agaram2016-11-251-4/+4
|
* 3667Kartik K. Agaram2016-11-113-5/+5
|
* 3604Kartik K. Agaram2016-10-271-2/+4
|
* 3569Kartik K. Agaram2016-10-2312-2281/+2281
| | | | Update syntax highlighting to not color numeric locations like literals.
* 3568Kartik K. Agaram2016-10-2312-46/+46
| | | | Fix syntax highlighting for labels after commit 3552.
* 3567Kartik K. Agaram2016-10-232-2/+2
|
* 3561Kartik K. Agaram2016-10-223-3/+3
|
* 3558Kartik K. Agaram2016-10-2212-45/+45
|
* 3491Kartik K. Agaram2016-10-092-4/+4
| | | | | Update the html, proving that commit 3490 worked. The only changes are from other recent commits.
* 3457Kartik K. Agaram2016-10-0611-751/+751
| | | | | Switch around some unicode characters in the edit/ app so that it renders more cleanly in html (with monospace fonts).
* 3456Kartik K. Agaram2016-10-0611-507/+507
|
* 3431Kartik K. Agaram2016-09-3012-170/+166
| | | | | Improvements to syntax highlighting, particularly for Mu code in C++ files.
* 3430Kartik K. Agaram2016-09-2812-1147/+1216
|
* 3397Kartik K. Agaram2016-09-1712-916/+916
|
* 3395Kartik K. Agaram2016-09-1712-1771/+1771
|
* 3371Kartik K. Agaram2016-09-161-12/+0
|
* 3355Kartik K. Agaram2016-09-1512-450/+450
|
* 3235Kartik K. Agaram2016-08-201-4/+3
|
* 3174Kartik K. Agaram2016-08-123-3/+3
|
* 3117Kartik K. Agaram2016-07-202-4/+10
|
* 3102Kartik K. Agaram2016-07-059-137/+450
|
* 2996Kartik K. Agaram2016-05-2112-812/+1186
|
* 2866Kartik K. Agaram2016-04-2511-1856/+1952
|
* 2812Kartik K. Agaram2016-03-2711-131/+221
|
* 2745Kartik K. Agaram2016-03-0911-11/+11
|
* 2744Kartik K. Agaram2016-03-0911-22/+22
| | | | Tweak colors and font-sizes in generated html.
* 2743Kartik K. Agaram2016-03-0911-364/+265
| | | | | Looks like "TOhtml | <other command>" doesn't work on Mac OS X for some reason..
* 2710Kartik K. Agaram2016-02-253-17/+0
|
* 2706 - update htmlKartik K. Agaram2016-02-252-51/+52
|
* 2625Kartik K. Agaram2016-02-026-65/+146
|
* 2605Kartik K. Agaram2016-01-2611-1350/+2291
|