about summary refs log tree commit diff stats
path: root/tools
Commit message (Collapse)AuthorAgeFilesLines
* 5837 - better colors for trace browserKartik Agaram2019-12-281-10/+25
|
* 5819Kartik Agaram2019-12-221-1/+1
| | | | Minor tweaks to stop wasting horizontal space in the trace.
* 5816 - browse_trace bug fixedKartik Agaram2019-12-211-0/+1
|
* 5815Kartik Agaram2019-12-211-4/+4
|
* 5814Kartik Agaram2019-12-211-25/+25
|
* 5813Kartik Agaram2019-12-211-2/+1
|
* 5812 - debugging an ancient niggle in browse_traceKartik Agaram2019-12-211-6/+5
| | | | | | | | The problem: when I hit 'G' to go to the bottom of the trace, if the bottom is visible on screen, the screen scrolls so the bottom of the trace is the bottom-most line on screen. But the cursor moves to where the trace used to end rather than the new location of the bottom of the trace (the bottom of the screen).
* 5805Kartik Agaram2019-12-081-0/+12
|
* 5801 - move `tangle` to `tools/` dirKartik Agaram2019-12-072-0/+1189
|
* 5800 - move `browse_trace` to `tools/` dirKartik Agaram2019-12-0712-0/+1927
|
* 5799 - move html-generation to `tools/` directoryKartik Agaram2019-12-073-1/+344
|
* 5797 - move `enumerate/` to `tools/` directoryKartik Agaram2019-12-072-0/+34
|
* 5796 - move treeshake to a new tools/ directoryKartik Agaram2019-12-075-0/+239