status label does not need the caption "status"
preformatted status label
do not delete pushTask when session is restored
more transient problems solved
cleaned up and stabilized the fetching of the results
hide search progress indicator on error and don't put a "syntax error" before the error message since this is already contained
use textarea instead of label in order to allow scrolling
fixing some UI glitches and stability issues with the result fetching