Bubble [main]

Better search results, now with a pager

Thu May 25 19:01:18 2023 +0300

Issues are now labeled as such, and the post title included in the

results if there is one. Post author name is checked for matches.

A pager is used to limit the number of results.

IssueID #72

 50_bubble.py |  2 +-
 example.ini  |  2 ++
 model.py     | 15 ++++++++++++---
 settings.py  |  4 ++++
 subspace.py  | 29 +++++++++++++++++++++++------
 5 files changed, 42 insertions(+), 10 deletions(-)