|
|
0c992f27b5
|
Removing search in page temporary
|
2023-09-10 19:00:30 +02:00 |
|
|
|
1a8886cfb2
|
Fixing search bugs.
|
2023-09-10 17:11:07 +02:00 |
|
|
|
ea5cae3323
|
Improving search.
|
2023-09-10 16:56:20 +02:00 |
|
|
|
d16ff46a85
|
Adding support for searching in page. (Mainly for Android app)
|
2023-09-10 16:20:09 +02:00 |
|
|
|
4eeed20efc
|
Adding better integration with keyboard navigation for the search.
|
2023-09-04 17:37:57 +02:00 |
|
|
|
976558e3f0
|
Improving search overlay.
|
2023-09-04 01:23:27 +02:00 |
|
