| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 5837 - better colors for trace browser | Kartik Agaram | 2019-12-28 | 1 | -10/+25 |
| | | |||||
| * | 5819 | Kartik Agaram | 2019-12-22 | 1 | -1/+1 |
| | | | | | Minor tweaks to stop wasting horizontal space in the trace. | ||||
| * | 5816 - browse_trace bug fixed | Kartik Agaram | 2019-12-21 | 1 | -0/+1 |
| | | |||||
| * | 5815 | Kartik Agaram | 2019-12-21 | 1 | -4/+4 |
| | | |||||
| * | 5814 | Kartik Agaram | 2019-12-21 | 1 | -25/+25 |
| | | |||||
| * | 5813 | Kartik Agaram | 2019-12-21 | 1 | -2/+1 |
| | | |||||
| * | 5812 - debugging an ancient niggle in browse_trace | Kartik Agaram | 2019-12-21 | 1 | -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). | ||||
| * | 5805 | Kartik Agaram | 2019-12-08 | 1 | -0/+12 |
| | | |||||
| * | 5801 - move `tangle` to `tools/` dir | Kartik Agaram | 2019-12-07 | 2 | -0/+1189 |
| | | |||||
| * | 5800 - move `browse_trace` to `tools/` dir | Kartik Agaram | 2019-12-07 | 12 | -0/+1927 |
| | | |||||
| * | 5799 - move html-generation to `tools/` directory | Kartik Agaram | 2019-12-07 | 3 | -1/+344 |
| | | |||||
| * | 5797 - move `enumerate/` to `tools/` directory | Kartik Agaram | 2019-12-07 | 2 | -0/+34 |
| | | |||||
| * | 5796 - move treeshake to a new tools/ directory | Kartik Agaram | 2019-12-07 | 5 | -0/+239 |