| Commit message (Expand) | Author | Age | Files | Lines |
* | coot/multiple package (ghc-head) (#1419) | Marcin Szamotulski | 2021-08-16 | 1 | -1/+6 |
* | Menu item controlling which instances are expanded/collapsed (#1007) | Xia Li-yao | 2019-02-27 | 4 | -192/+559 |
* | Resurrect the style-switcher | Alec Theriault | 2018-10-24 | 1 | -24/+34 |
* | Update JS dependencies | Alec Theriault | 2018-10-24 | 1 | -2/+2 |
* | Clear search string on hide for #781 (#789) | Jack Henahan | 2018-04-03 | 1 | -2/+2 |
* | Quickjump: Matches on function names weight more than matches in ... | alexbiehl | 2018-02-01 | 1 | -1/+9 |
* | Decrease threshold for fuzzy matching | alexbiehl | 2017-10-30 | 1 | -1/+1 |
* | Quick Jump: Show error when loading 'doc-index.json' failed (#691) | Tim Baumann | 2017-10-10 | 1 | -7/+20 |
* | Use <details> element for collapsibles (#690) | Tim Baumann | 2017-10-09 | 4 | -70/+140 |
* | Add compile step that bundles and compresses JS files (#684) | Tim Baumann | 2017-09-23 | 3 | -0/+593 |