close 35464 quit I pushed the change as 9ae94ebdf. I have another change that I don't think is worth a new bug report, which is refactoring scroll_run_hook in a similar way. Is it okay to apply it?