Tree
- Tree:
5a7ddec25386a1d53b563d72e59e3bcadfac38f8
- Date:
- Message:
- set_scroll_position: further semplifications Simplify it even further. There's no need to keep the curfound variable *at all*: if we end the loop, current_line is not found.
5a7ddec25386a1d53b563d72e59e3bcadfac38f8