Diff not finding differences, restarting grunti is the fix

[rohrlich]

Grunti sometimes gets to a state where comparing 2 runs shows no difference. Restarting resolves the problem. My guess would be a problem with "selection".

[rohrlich]

For some operations the OutBuf is cleared and the scroll is reset but not so for Diff. So I think I was just missing the diff if it was short and the view was previously scrolled down.