Martin Holmes

Running the npm version I was able to get half-decent output, but there are some documentation features that it doesn't seem to be finding or using successfully, so I'll work...

Discussion today: We have decided that: 1. The sort control will be a drop-down list whose default selection is Score Descending. 2. In the case of filter labels which have...

After more experimentation, I'm beginning to think we'll have to write our own doc-generation process. It will probably end up being much more practical than trying to bludgeon one of...

It's a bug that if nothing is supplied for these files the build fails. It would be quite rare that you wouldn't want to use a stoplist or a wordlist;...

This should be a patch to the 1.4 release branch and also implemented in dev.

This fix should be applied in both dev and the release branch.

I think I prefer the separate method for scrolling; sometimes scrolling is not required at all, as for example when the search controls are in a sidebar.

Just adding a reminder that the documentation will need substantial changes arising out of the decisions made here. The 1.4.5 documentation is updated for the mandatory status of those elements,...

This turned out to be way more tricky than I thought, since the scroll-padding and scroll-margin properties can be set on all sorts of different page components. A better option...

I'm going to close this issue because there are substantial changes affecting this in version 2.0; meanwhile, we do not plan anything other than bugfixes for the release-1.4 branch.