aboutsummaryrefslogtreecommitdiff
path: root/html-test/src/DeprecatedFunction3.hs
diff options
context:
space:
mode:
authorXia Li-yao <Lysxia@users.noreply.github.com>2019-02-27 21:53:27 -0500
committerAlec Theriault <alec.theriault@gmail.com>2019-02-27 21:53:27 -0500
commit59843f9e3d222901421a92fff793a1e031f38f65 (patch)
treedc80ea5a4194a6f38598b19bfea42a78ccf1d27f /html-test/src/DeprecatedFunction3.hs
parent5d45da4898f7e8e7a1637b4cd473c393063034a0 (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 'html-test/src/DeprecatedFunction3.hs')
0 files changed, 0 insertions, 0 deletions