diff options
author | Vincent Ambo <mail@tazj.in> | 2022-10-13T16·20+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-10-16T12·26+0000 |
commit | a8f7383fcb151f76c9cda1235abf0577b1ce6720 (patch) | |
tree | b3a11ef832314510df8cabee54a97d511a572fee /fun/🕰️ | |
parent | e6d9be32a2dc6c7752f658f5c8fe4e33024bc2d3 (diff) |
refactor(tvixbolt): use details elements for toggling outputs r/5145
For optional outputs (runtime trace & AST) this has a slightly nicer user experience. Note that the code of this is a bit verbose because doing a naive implementation hits dumb behaviours of browsers that result in infinite loops. Thanks Profpatsch for the suggestion. Change-Id: I8945a8e722f0ad8735829807fb5e39e2101f378c Reviewed-on: https://cl.tvl.fyi/c/depot/+/7006 Reviewed-by: j4m3s <james.landrein@gmail.com> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'fun/🕰️')
0 files changed, 0 insertions, 0 deletions