diff options
| author | Xia Li-yao <Lysxia@users.noreply.github.com> | 2019-02-27 21:53:27 -0500 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2019-02-27 21:53:27 -0500 |
| commit | 59843f9e3d222901421a92fff793a1e031f38f65 (patch) | |
| tree | dc80ea5a4194a6f38598b19bfea42a78ccf1d27f /hypsrc-test/run | |
| parent | 5d45da4898f7e8e7a1637b4cd473c393063034a0 (diff) | |
Menu item controlling which instances are expanded/collapsed (#1007)
Adds a menu item (like "Quick Jump") for options related to displaying
instances. This provides functionality for:
* expanding/collapsing all instances on the currently opened page
* controlling whether instances are expanded/collapsed by default
* controlling whether the state of instances should be "remembered"
This new functionality is implemented in Typescript in `details-helper`.
The built-in-themes style switcher also got a revamp so that all three
of QuickJump, the style switcher, and instance preferences now have
the same style and implementation structure.
See also: https://mail.haskell.org/pipermail/haskell-cafe/2019-January/130495.html
Fixes #698.
Co-authored-by: Lysxia <lysxia@gmail.com>
Co-authored-by: Nathan Collins <conathan@galois.com>
Diffstat (limited to 'hypsrc-test/run')
0 files changed, 0 insertions, 0 deletions