diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2021-03-08 16:27:41 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2021-03-08 16:27:41 -0800 |
| commit | e58980b4c8552ea41f097d905db34f603ea35a09 (patch) | |
| tree | d693e52abaa3be790d214fd090658938a34e88be /412render-float-decimal.mu | |
| parent | de349209add7fc50ae7464cb0ac17214254f6315 (diff) | |
| download | mu-e58980b4c8552ea41f097d905db34f603ea35a09.tar.gz | |
get rid of ctrl-d/ctrl-u when browsing trace
Also clean up the menu. Mode-specific stuff goes after Tab.
Diffstat (limited to '412render-float-decimal.mu')
0 files changed, 0 insertions, 0 deletions