wip: searching logic; wip: memorization of the last tab searched

This commit is contained in:
Roberto Tonino
2020-11-24 22:17:47 +01:00
parent b5ff097286
commit b2eb08722c
6 changed files with 185 additions and 220 deletions

File diff suppressed because one or more lines are too long