chiark / gitweb /
documentation: make it possible to have more than 128 results for a node.
authorVladimír Vondruš <mosra@centrum.cz>
Thu, 18 Jul 2019 10:55:59 +0000 (12:55 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Thu, 18 Jul 2019 15:41:49 +0000 (17:41 +0200)
commit63e8d474e84de6be95ed9b2fe8ee7da348eeff49
tree7cbc9a3f3f75847ec8b50009ac5a4bb6be7b2876
parentf2dbe9862b9e280f29656cac14b4ecf5a4df86e5
documentation: make it possible to have more than 128 results for a node.

Python's __init__ is the main offender, the (currently very barebone)
Magnum Python bindings have 340 results for __init__. This change is
based on the assumption that nodes with extreme amount of results on the
other hand don't have many children, so we can steal some bits from the
child count instead. Now it's either up to 127 results and up to 127
children or up to 2048 results and 16 children.
documentation/_search.py
documentation/search.js
documentation/test/js-test-data/manyresults.bin [new file with mode: 0644]
documentation/test/populate-js-test-data.py
documentation/test/test-search.js