| ▲ | msgodel 5 days ago | |
typing / in the pager doesn't work for you? | ||
| ▲ | KingMob 5 days ago | parent [-] | |
Not always. See my sibling comment for details, and an example of when a smarter search strategy would be better. | ||
| ▲ | msgodel 5 days ago | |
typing / in the pager doesn't work for you? | ||
| ▲ | KingMob 5 days ago | parent [-] | |
Not always. See my sibling comment for details, and an example of when a smarter search strategy would be better. | ||