Haddock with an org backend (haddorg). https://g.ypei.me/haddock.git/atom?h=ghc-9.4 2022-06-12T20:57:19+00:00 2022-06-12T20:57:19+00:00 Mike Pilgrem mpilgrem@users.noreply.github.com 2019-11-13T21:43:03+00:00 urn:sha1:3ab18cf06ae9392eab1349675dab8a177f1412da 2022-03-25T20:33:34+00:00 Steve Hart steve@stevehart.net 2022-03-25T20:33:34+00:00 urn:sha1:d8dbbdad173baafe73acc98e6427c468fd3e13cc Commit e41c1cbe9f0476997eac7b4a3f17cbc6b2262faf added a call to e.preventDefault() when handling click events that reach a toggle element. This prevents the browser from following hyperlinks within the Synopsis section when they are clicked by a user. This commit restores functioning hyperlinks within the Synopsis section by removing the call to e.preventDefault(), as it does not appear to be necessary, and removing it increases the flexibility of the details-helper code. 2021-08-08T15:19:06+00:00 Marcin Szamotulski profunctor@pm.me 2021-08-08T15:19:06+00:00 urn:sha1:5bd9262466a0e71da4e84654a1906b76996e3692 2019-02-28T02:53:27+00:00 Xia Li-yao Lysxia@users.noreply.github.com 2019-02-28T02:53:27+00:00 urn:sha1:59843f9e3d222901421a92fff793a1e031f38f65 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> 2018-10-25T00:31:09+00:00 Alec Theriault alec.theriault@gmail.com 2018-10-25T00:31:09+00:00 urn:sha1:a69311708493efe8524aed0e9d19365f79f2fab3 This fixes #810. Looks like things were broken during the quickjump refactor of the JS. For the (git) record: I do not think the style switcher is a good idea. I'm fixing it for the same reason @mzero added it; as an answer to "rumblings from some that they didn't want their pixels changed on bit" 2018-10-24T19:47:47+00:00 Alec Theriault alec.theriault@gmail.com 2018-10-24T19:46:27+00:00 urn:sha1:67a142271f6a590a4307d30ac5c5359632ff21c4 This was done via `npm audit fix`. I think this fixes #903 along with some more serious vulnerabilities that nobody seems to have noticed. 2018-04-03T11:28:12+00:00 Jack Henahan jhenahan@me.com 2018-04-03T11:28:12+00:00 urn:sha1:59812a09eb69cbf12407206381f4c214987b1efd 2018-02-01T13:58:18+00:00 alexbiehl alex.biehl@gmail.com 2017-12-16T10:59:42+00:00 urn:sha1:93c1e6eb9e829a66ff213ec076d529ab008880b3 module names. 2017-10-30T18:10:39+00:00 alexbiehl alex.biehl@gmail.com 2017-10-30T18:10:11+00:00 urn:sha1:b4982d87f41d9a4d3f6237bacfd819145723e35b 2017-10-10T07:50:59+00:00 Tim Baumann tim@timbaumann.info 2017-10-10T07:50:59+00:00 urn:sha1:8e88615a23a9f1980a55bd1b3ef9dcc938d95237